title: Pseudoscalar Mediators: A WIMP model at the Neutrino Floor

abstract: Due to its highly suppressed cross section (fermionic) dark matter interacting with the Standard Model via pseudoscalar mediators is expected to be essentially unobservable in direct detection experiments. We consider both a simplified model and a more realistic model based on an extended two Higgs doublet model and compute the leading one-loop contribution to the effective dark matter- nucleon interaction. This higher order correction dominates the scattering rate completely and can naturally, i.e. for couplings of order one, lead to a direct detection cross section in the vicinity of the neutrino floor. Taking the observed relic density and constraints from low-energy observables into account we analyze the direct detection prospects in detail and find regions of parameter space that are within reach of upcoming direct detection experiments such as XENONnT, LZ, and DARWIN.


title: The KMOS$^\mathrm{3D}$ Survey: rotating compact star forming galaxies and the decomposition of integrated line widths

abstract: Using integral field spectroscopy we investigate the kinematic properties of 35 massive centrally-dense and compact star-forming galaxies (${\log{\overline{M}_*}}=11.1$, $\log{(\Sigma_\mathrm{1kpc})}>9.5$, $\log{(M_\ast/r_e^{1.5})}>10.3$) at $z\sim0.7-3.7$ within the KMOS$^\mathrm{3D}$survey. We spatially resolve 23 compact star-forming galaxies (SFGs) and find that the majority are dominated by rotational motions with velocities ranging from {$95-500$ km s$^{-1}$}. The range of rotation velocities is reflected in a similar range of integrated H$\alpha$ linewidths, $75-400$ km s$^{-1}$, consistent with the kinematic properties of mass-matched extended galaxies from the full KMOS$^\mathrm{3D}$ sample. The fraction of compact SFGs that are classified as `rotation-dominated' or `disk-like' also mirrors the fractions of the full KMOS$^\mathrm{3D}$ sample. We show that integrated line-of-sight gas velocity dispersions from KMOS$^\mathrm{3D}$ are best approximated by a linear combination of their rotation and turbulent velocities with a lesser but still significant contribution from galactic scale winds. The H$\alpha$ exponential disk sizes of compact SFGs are on average $2.5\pm0.2$ kpc, $1-2\times$ the continuum sizes, in agreement with previous work. The compact SFGs have a $1.4\times$ higher AGN incidence than the full KMOS$^\mathrm{3D}$ sample at fixed stellar mass with average AGN fraction of 76\%. Given their high and centrally concentrated stellar masses as well as stellar to dynamical mass ratios close to unity, the compact SFGs are likely to have low molecular gas fractions and to quench on a short time scale unless replenished with inflowing gas. The rotation in these compact systems suggests that their direct descendants are rotating passive galaxies.


title: On The Finite Generation Of Relative Cohomology For Lie Superalgebras

abstract: The author establishes finite-generation of the cohomology ring of a classical Lie superalgebra relative to an even subsuperalgebra. A spectral sequence is constructed to provide conditions for when this relative cohomology ring is Cohen-Macaulay. With finite generation established, support varieties for modules are defined via the relative cohomology, which generalize those of [BKN-1]


title: Searching for Weak Singlet Charged Scalar at the Large Hadron Collider

abstract: Weak singlet charged scalar exists in many new physics models beyond the Standard Model. In this work we show that a light singlet charged scalar with mass above 65~GeV is still allowed by the LEP and LHC data. The interactions of the singlet charged scalar with the Standard Model particles are described by operators up to dimension-5. Dominant decay modes of the singlet charged scalar are obtained, and a subtlety involving field redefinition and gauge fixing due to a dimension-5 operator is also clarified. We demonstrate that it is promising to observe the singlet charged scalar at the LHC.


title: Bounding and Counting Linear Regions of Deep Neural Networks

abstract: We investigate the complexity of deep neural networks (DNN) that represent piecewise linear (PWL) functions. In particular, we study the number of linear regions, i.e. pieces, that a PWL function represented by a DNN can attain, both theoretically and empirically. We present (i) tighter upper and lower bounds for the maximum number of linear regions on rectifier networks, which are exact for inputs of dimension one; (ii) a first upper bound for multi-layer maxout networks; and (iii) a first method to perform exact enumeration or counting of the number of regions by modeling the DNN with a mixed-integer linear formulation. These bounds come from leveraging the dimension of the space defining each linear region. The results also indicate that a deep rectifier network can only have more linear regions than every shallow counterpart with same number of neurons if that number exceeds the dimension of the input.


title: Bellman systems with mean field dependent dynamics

abstract: We deal with nonlinear elliptic and parabolic systems that are the Bellman like systems associated to stochastic differential games with mean field dependent dynamics. The key novelty of the paper is that we allow heavily mean field dependent dynamics. This in particular leads to a system of PDE's with critical growth, for which it is rare to have an existence and/or regularity result. In the paper, we introduce a structural assumptions that cover many cases in stochastic differential games with mean filed dependent dynamics for which we are able to establish the existence of a weak solution. In addition, we present here a completely new method for obtaining the maximum/minimum principles for systems with critical growths, which is a starting point for further existence and also qualitative analysis.


title: Large NLO corrections in $t\bar{t}W^{\pm}$ and $t\bar{t}t\bar{t}$ hadroproduction from supposedly subleading EW contributions

abstract: We calculate the complete-NLO predictions for $t\bar{t}W^{\pm}$ and $t\bar{t}t\bar{t}$ production in proton--proton collisions at 13 and 100 TeV. All the non-vanishing contributions of $\mathcal{O}(\alpha_s^i \alpha^j)$ with $i+j=3,4$ for $t\bar{t}W^{\pm}$ and $i+j=4,5$ for $t\bar{t}t\bar{t}$ are evaluated without any approximation. For $t\bar{t}W^{\pm}$ we find that, due to the presence of $tW \to tW$ scattering, at 13(100) TeV the $\mathcal{O}(\alpha_s \alpha^3)$ contribution is about 12(70)\% of the LO, i.e., it is larger than the so-called NLO EW corrections (the $\mathcal{O}(\alpha_s^2 \alpha^2)$ terms) and has opposite sign. In the case of $t\bar{t}t\bar{t}$ production, large contributions from electroweak $tt \to tt$ scattering are already present at LO in the $\mathcal{O}(\alpha_s^3 \alpha)$ and $\mathcal{O}(\alpha_s^2 \alpha^2)$ terms. For the same reason we find that both NLO terms of $\mathcal{O}(\alpha_s^4 \alpha)$, i.e., the NLO EW corrections, and $\mathcal{O}(\alpha_s^3 \alpha^2)$ are large ($\pm 15 \%$ of the LO) and their relative contributions strongly depend on the values of the renormalisation and factorisation scales. However, large accidental cancellations are present (away from the threshold region) between these two contributions. Moreover, the NLO corrections strongly depend on the kinematics and are particularly large at the threshold, where even the relative contribution from $\mathcal{O}(\alpha_s^2 \alpha^3)$ terms amounts to tens of percents.


title: MiniCLEAN Dark Matter Experiment

abstract: The MiniCLEAN dark matter experiment will exploit a single-phase liquid-argon detector instrumented with 92 photomultiplier tubes placed in the cryogen temperature with 4-$\pi$ coverage of a 500 kg (150 kg) target (fiducial) mass. The detector design strategy emphasizes scalability to target masses of order 10 tons or more. The detector is designed also for a liquid neon target that allows for an independent verification of signal and background and a test of the expected dependence of the WIMP-nucleus interaction rate. For MiniCLEAN, PMT stability and calibration are essential. The \textit{In-situ} optical calibration will be able monitor the PMT stability and maintain the calibration. In MiniCLEAN, we use a Light-Emitting Diode(LED)- based light injection system to provide single photons for calibration, the calibration can be performed in near real-time, providing a continuous monitor at the condition of the detector. The intrinsic $^{39}$Ar beta emitter provides another way to calibrate the detector thanks to well defined properties and uniformly distributed inside the detector volume. The energy scale can be determined by fitting the energy spectrum of experimental $^{39}$Ar data. Moreover, the preliminary results from cold gas run shows the best measurement on triplet lifetime ($\sim$ 3.5 $\mu$ s). The results confirms the high purity of argon is attained by MiniCLEAN's purification system. The long triplet lifetime in gaseous argon can be exploit to obtain better performance of pulse shape discrimination (PSD) for future dark matter detector, also the low density of gaseous argon reduced the multi-scattering neutron backgrounds. On the other hand, by injecting $^{39}$Ar spike, the electronic recoil events due to $^{39}$Ar beta decay can be used to test the limit of PSD in liquid argon. The results will be informative for future multi-tonne LAr detector.


title: Simultaneous sign change and equidistribution of signs of Fourier coefficients of two cusp forms

abstract: We study the simultaneous sign change of Fourier coefficients of a pair of distinct normalized newforms of integral weight supported on primes power indices, we also prove some equidistribution results. Finally, we consider an analogous question for Fourier coefficients of a pair of half-integral weight Hecke eigenforms.


title: Re-running the QCD shear viscosity

abstract: The remarkably small shear viscosity to entropy density ratio $\eta/s < 0.5$ of the quark-gluon plasma (QGP) is a key insight from heavy ion experiments. Nonetheless, the basic understanding of this `observable' still seems to be rudimentary, with existing perturbative QCD estimates suggesting $\eta/s > 1$, a view that we scrutinize here. In order to extrapolate the available perturbative approach to phenomenologically relevant temperatures, we consider carefully controllable higher-order corrections: We adapt the leading-order effective kinetic scheme (instead of the catchy next-to-leading log formula $\eta_{_{{\rm NLL}}} \propto [\alpha^2 \log(c/\alpha)]^{-1}$), by using cross sections with a running coupling. This effect should be pertinent (for a QGP) and we argue for a choice of scale-dependence that makes it consistent with thermal screening. We conclude that $\eta/s \approx 0.2$ does not indicate genuine non-perturbative effects, it may rather be understood within resummation-improved perturbative QCD, with some uncertainties from deploying kinetic theory near to its limit.


title: Small Resolution Proofs for QBF using Dependency Treewidth

abstract: In spite of the close connection between the evaluation of quantified Boolean formulas (QBF) and propositional satisfiability (SAT), tools and techniques which exploit structural properties of SAT instances are known to fail for QBF. This is especially true for the structural parameter treewidth, which has allowed the design of successful algorithms for SAT but cannot be straightforwardly applied to QBF since it does not take into account the interdependencies between quantified variables. In this work we introduce and develop dependency treewidth, a new structural parameter based on treewidth which allows the efficient solution of QBF instances. Dependency treewidth pushes the frontiers of tractability for QBF by overcoming the limitations of previously introduced variants of treewidth for QBF. We augment our results by developing algorithms for computing the decompositions that are required to use the parameter.


title: Enrichment in r-process elements from multiple distinct events in the early Draco dwarf spheroidal galaxy

abstract: The stellar record of elemental abundances in satellite galaxies is important to identify the origin of r-process because such a small stellar system could have hosted a single r-process event, which would distinguish member stars that are formed before and after the event through the evidence of a considerable difference in the abundances of r-process elements, as found in the ultra-faint dwarf galaxy Reticulum II (Ret II). However, the limited mass of these systems prevents us from collecting information from a sufficient number of stars in individual satellites. Hence, it remains unclear whether the discovery of a remarkable r-process enrichment event in Ret II explains the nature of r-process abundances or is an exception. We perform high-resolution spectroscopic measurements of r-process abundances for twelve metal-poor stars in the Draco dwarf galaxy in the metallicity range of -2.5<[Fe/H]<-2. We found that these stars are separated into two groups with r-process abundances differing by one order of magnitude. A group of stars with high abundances of r-process elements was formed by a single r-process event that corresponds to the event evidenced in Ret II. On the other hand, the low r-process abundance group was formed by another sporadic enrichment channel producing a far fewer r-process elements, which is clearly identified for the first time. Accordingly, we identified two populations of stars with different r-process abundances, which are built by two r-process events that enriched gases at levels that differ by more than one order of magnitude.


title: Topological crystalline superconductivity and second-order topological superconductivity in nodal-loop materials

abstract: We study the intrinsic fully-gapped odd-parity superconducting order in doped nodal-loop materials with a torus-shaped Fermi surface. We show that the mirror symmetry, which protects the nodal loop in the normal state, also protects the superconducting state as a topological crystalline superconductor. As a result, the surfaces preserving the mirror symmetry host gapless Majorana cones. Moreover, for a Weyl loop system (two-fold degenerate at the nodal loop), the surfaces that break the mirror symmetry (those parallel to the bulk nodal loop) contribute a Chern (winding) number to the quasi-two-dimensional system in a slab geometry, which leads to a quantized thermal Hall effect and a single Majorana zero mode bound at a vortex line penetrating the system. This Chern number can be viewed as a higher-order topological invariant, which supports hinge modes in a cubic sample when mirror symmetry is broken. For a Dirac loop system (four-fold degenerate at the nodal loop), the fully gapped odd-parity state can be either time-reversal symmetry-breaking or symmetric, similar to the $A$- and $B$- phases of $^3$He. In a slab geometry, the $A$-phase has a Chern number two, while the $B$-phase carries a nontrivial $\mathbb{Z}_2$ invariant. We discuss the experimental relevance of our results to nodal-loop materials such as CaAgAs.


title: Consistency of Maximum Likelihood for Continuous-Space Network Models I

abstract: A very popular class of models for networks posits that each node is represented by a point in a continuous latent space, and that the probability of an edge between nodes is a decreasing function of the distance between them in this latent space. We study the embedding problem for these models, of recovering the latent positions from the observed graph. Assuming certain natural symmetry and smoothness properties, we establish the uniform convergence of the log-likelihood of latent positions as the number of nodes grows. A consequence is that the maximum likelihood embedding converges on the true positions in a certain information-theoretic sense. Extensions of these results, to recovering distributions in the latent space, and so distributions over arbitrarily large graphs, will be treated in the sequel.


title: Projection Theorems Using Effective Dimension

abstract: In this paper we use the theory of computing to study fractal dimensions of projections in Euclidean spaces. A fundamental result in fractal geometry is Marstrand's projection theorem, which shows that for every analytic set E, for almost every line L, the Hausdorff dimension of the orthogonal projection of E onto L is maximal. We use Kolmogorov complexity to give two new results on the Hausdorff and packing dimensions of orthogonal projections onto lines. The first shows that the conclusion of Marstrand's theorem holds whenever the Hausdorff and packing dimensions agree on the set E, even if E is not analytic. Our second result gives a lower bound on the packing dimension of projections of arbitrary sets. Finally, we give a new proof of Marstrand's theorem using the theory of computing.


title: Spectrum of non-planar traveling waves

abstract: In this paper we prove that a class of non self-adjoint second order differential operators acting in cylinders $\Omega\times\mathbb R\subseteq\mathbb R^{d+1}$ have only real discrete spectrum located to the right of the right most point of the essential spectrum. We describe the essential spectrum using the limiting properties of the potential. To track the discrete spectrum we use spatial dynamics and bi-semigroups of linear operators to estimate the decay rate of eigenfunctions associated to isolated eigenvalues.


title: Entanglement evolution across a conformal interface

abstract: For two dimensional conformal field theories in the ground state, it is known that a conformal interface along the entanglement cut can suppress the entanglement entropy from $S_A\sim c\log L$ to $S_A\sim c_{\text{eff}}\log L$, where $L$ is the length of the subsystem $A$, and $c_{\text{eff}}\in [0, c]$ is the effective central charge which depends on the transmission property of the conformal interface. In this work, by making use of conformal mappings, we show that a conformal interface has the same effect on entanglement evolution in non-equilibrium cases, including global, local and certain inhomogeneous quantum quenches. I.e., a conformal interface suppresses the time evolution of entanglement entropy by effectively replacing the central charge $c$ with $c_{\text{eff}}$, where $c_{\text{eff}}$ is exactly the same as that in the ground state case. We confirm this conclusion by a numerical study on a critical fermion chain. Furthermore, based on the quasi-particle picture, we conjecture that this conclusion holds for an arbitrary quantum quench in CFTs, as long as the initial state can be described by a regularized conformal boundary state.


title: Kondo physics in double quantum dot based Cooper pair splitters

abstract: The Andreev transport properties of double quantum dot based Cooper pair splitters with one superconducting and two normal leads are studied theoretically in the Kondo regime. The influence of the superconducting pairing correlations on the local density of states, Andreev transmission coefficient and Cooper pair splitting efficiency is thoroughly analyzed. It is shown that finite superconducting pairing potential quickly suppresses the SU(2) Kondo effect, which can however reemerge for relatively large values of coupling to superconductor. In the SU(4) Kondo regime, a crossover from the SU(4) to the SU(2) Kondo state is found as the coupling to superconductor is enhanced. The analysis is performed by means of the density-matrix numerical renormalization group method.


title: Sequential Multi-Class Labeling in Crowdsourcing

abstract: We consider a crowdsourcing platform where workers' responses to questions posed by a crowdsourcer are used to determine the hidden state of a multi-class labeling problem. As workers may be unreliable, we propose to perform sequential questioning in which the questions posed to the workers are designed based on previous questions and answers. We propose a Partially-Observable Markov Decision Process (POMDP) framework to determine the best questioning strategy, subject to the crowdsourcer's budget constraint. As this POMDP formulation is in general intractable, we develop a suboptimal approach based on a $q$-ary Ulam-R\'enyi game. We also propose a sampling heuristic, which can be used in tandem with standard POMDP solvers, using our Ulam-R\'enyi strategy. We demonstrate through simulations that our approaches outperform a non-sequential strategy based on error correction coding and which does not utilize workers' previous responses.


title: An Infrared Census of DUST in Nearby Galaxies with Spitzer (DUSTiNGS). IV. Discovery of High-Redshift AGB Analogs

abstract: The survey for DUST in Nearby Galaxies with Spitzer (DUSTiNGS) identified several candidate Asymptotic Giant Branch (AGB) stars in nearby dwarf galaxies and showed that dust can form even in very metal-poor systems (Z ~ 0.008 $Z_\odot$). Here, we present a follow-up survey with WFC3/IR on the Hubble Space Telescope (HST), using filters that are capable of distinguishing carbon-rich (C-type) stars from oxygen-rich (M-type) stars: F127M, F139M, and F153M. We include six star-forming DUSTiNGS galaxies (NGC 147, IC 10, Pegasus dIrr, Sextans B, Sextans A, and Sag DIG), all more metal-poor than the Magellanic Clouds and spanning 1 dex in metallicity. We double the number of dusty AGB stars known in these galaxies and find that most are carbon rich. We also find 26 dusty M-type stars, mostly in IC 10. Given the large dust excess and tight spatial distribution of these M-type stars, they are most likely on the upper end of the AGB mass range (stars undergoing Hot Bottom Burning). Theoretical models do not predict significant dust production in metal-poor M-type stars, but we see evidence for dust excess around M-type stars even in the most metal-poor galaxies in our sample (12+log(O/H) = 7.26-7.50). The low metallicities and inferred high stellar masses (up to ~10 $M_\odot$) suggest that AGB stars can produce dust very early in the evolution of galaxies (~30 Myr after they form), and may contribute significantly to the dust reservoirs seen in high-redshift galaxies.


title: Moduli of regularity and rates of convergence for Fej\'er monotone sequences

abstract: In this paper we introduce the concept of modulus of regularity as a tool to analyze the speed of convergence, including the finite termination, for classes of Fej\'er monotone sequences which appear in fixed point theory, monotone operator theory, and convex optimization. This concept allows for a unified approach to several notions such as weak sharp minima, error bounds, metric subregularity, H\"older regularity, etc., as well as to obtain rates of convergence for Picard iterates, the Mann algorithm, the proximal point algorithm and the cyclic algorithm. As a byproduct we obtain a quantitative version of the well-known fact that for a convex lower semi-continuous function the set of minimizers coincides with the set of zeros of its subdifferential and the set of fixed points of its resolvent.


title: Characterizing Sparse Connectivity Patterns in Neural Networks

abstract: We propose a novel way of reducing the number of parameters in the storage-hungry fully connected layers of a neural network by using pre-defined sparsity, where the majority of connections are absent prior to starting training. Our results indicate that convolutional neural networks can operate without any loss of accuracy at less than half percent classification layer connection density, or less than 5 percent overall network connection density. We also investigate the effects of pre-defining the sparsity of networks with only fully connected layers. Based on our sparsifying technique, we introduce the `scatter' metric to characterize the quality of a particular connection pattern. As proof of concept, we show results on CIFAR, MNIST and a new dataset on classifying Morse code symbols, which highlights some interesting trends and limits of sparse connection patterns.


title: Weighted Transformer Network for Machine Translation

abstract: State-of-the-art results on neural machine translation often use attentional sequence-to-sequence models with some form of convolution or recursion. Vaswani et al. (2017) propose a new architecture that avoids recurrence and convolution completely. Instead, it uses only self-attention and feed-forward layers. While the proposed architecture achieves state-of-the-art results on several machine translation tasks, it requires a large number of parameters and training iterations to converge. We propose Weighted Transformer, a Transformer with modified attention layers, that not only outperforms the baseline network in BLEU score but also converges 15-40% faster. Specifically, we replace the multi-head attention by multiple self-attention branches that the model learns to combine during the training process. Our model improves the state-of-the-art performance by 0.5 BLEU points on the WMT 2014 English-to-German translation task and by 0.4 on the English-to-French translation task.


title: Phase Plane Analysis of the Photometrical Variations of Long-Period Variables

abstract: Using the phase plane diagrams, the phase light curves of a group of the Mira-type stars and semi-regular variables are analyzed. As generalized coordinates x and $\dot{x}$, we have used m - the brightness of the star and its phase derivative. We have used mean phase light curves using observations of various authors. The data typically span a large time interval (nearly a century). They were compiled from the databases of AAVSO, AFOEV, VSOLJ, ASAS and approximated using a trigonometric polynomial of statistically optimal degree. As the resulting approximation characterizes the auto-oscillation process, which leads to a photometrical variability, the phase diagram corresponds to a limit cycle. For all stars studied, the limit cycles were computed. For a simple sine-like light curve, in e.g., L$_2$ Pup, the limit cycle is a simple ellipse. In a case of more complicated light curve, in which harmonics are statistically significant, the limit cycle has deviations from the ellipse. In an addition to a classical analysis, we use the error estimates of the smoothing function and its derivative to constrain an "error corridor" in the phase plane.


title: Exact spin-orbit qubit manipulation

abstract: We consider exactly solvable manipulation of spin-qubits confined in a moving harmonic trap and in the presence of the time dependent Rashba interaction. Non-adiabatic Anandan phase for cyclic time evolution is compared to the Wilczek-Zee adiabatic counterpart. It is shown that the ratio of these two phases can for a chosen system be any real number. Next we demonstrate the possibility of arbitrary qubit transformation in a ring with spin-orbit interaction. Finally, we present an example of exact analysis of spin-orbit dynamics influenced by the Ornstein-Uhlenbeck coloured noise.


title: Livsic theorem for diffeomorphism cocycles

abstract: We prove the so called Liv\v{s}ic theorem for cocycles taking values in the group of $C^{1+\beta}-diffeomorphisms of any closed manifold of arbitrary dimension. Since no localization hypothesis is assumed, this result is completely global in the space of cocycles and thus extends the previous result of the second author and Potrie [KP16] to higher dimensions.


title: The Z_2 x Z_2-graded Lie superalgebra pso(2m+1|2n) and new parastatistics representations

abstract: When the relative commutation relations between a set of m parafermions and n parabosons are of ``relative parafermion type'', the underlying algebraic structure is the classical orthosymplectic Lie superalgebra osp(2m+1|2n). The relative commutation relations can also be chosen differently, of ``relative paraboson type''. In this second case, the underlying algebraic structure is no longer an ordinary Lie superalgebra, but a Z_2 x Z_2$-graded Lie superalgebra, denoted here by pso(2m+1|2n). The identification of this new algebraic structure was performed by Tolstoy, amongst others. In the present paper, we investigate the subalgebra structure of pso(2m+1|2n). This allows us to study the parastatistics Fock spaces for this new set of m+n para-operators, as they correspond to lowest weight representations of pso(2m+1|2n). Our main result is the construction of these Fock spaces, with a complete labeling of the basis vectors and an explicit action of the para-operators on these basis vectors.


title: ICN-aware Network Slicing Framework for Mobile Data Distribution

abstract: Network slicing offers an opportunity to realize ICN as a slice in 5G deployment. We demonstrate this through a generic service orchestration framework operating on commodity compute, storage and bandwidth resource pool to realize multiple ICN service slices. Specifically, we show the dynamic creation of real-time audio/video conferencing slices, over which multi-participant communication is enabled. These slices leverage ICN features of name-based routing, integrated security, inherent support for multicasting and mobility, and in-network caching-and-computing to scale and deliver services efficiently, while dynamically adapting to varying service demands. Proposed framework also enables mobility-on-demand feature as a service over an ICN slice to more effectively support producer mobility over multi-access links, such as LTE, Wifi and Ethernet, as will be demonstrated with our demo.


title: More on Boundary Holographic Witten Diagrams

abstract: In this paper we discuss geodesic Witten diagrams in general holographic conformal field theories with boundary or defect. In boundary or defect conformal field theory, two-point functions are non-trivial and can be decomposed into conformal blocks in two distinct ways; ambient channel decomposition and boundary channel decomposition. In our previous work we only consider two-point functions of same operators. We generalize our previous work to a situation where operators in two-point functions are different. We obtain two distinct decomposition for two-point functions of different operators.


title: Rational Points in Regular Orbits attached to Infinitesimal Symmetric Spaces

abstract: Motivated by problems arising in the relative trace formula and arithmetic invariant theory we prove the existence of rational points on orbits arising from certain infinitesimal symmetric spaces. As an application, we prove analogous results for orbits in certain global reductive symmetric spaces.


title: Asymptotic properties of maximum likelihood estimator for the growth rate of a stable CIR process based on continuous time observations

abstract: We consider a stable Cox--Ingersoll--Ross process driven by a standard Wiener process and a spectrally positive strictly stable L\'evy process, and we study asymptotic properties of the maximum likelihood estimator (MLE) for its growth rate based on continuous time observations. We distinguish three cases: subcritical, critical and supercritical. In all cases we prove strong consistency of the MLE in question, in the subcritical case asymptotic normality, and in the supercritical case asymptotic mixed normality are shown as well. In the critical case the description of the asymptotic behavior of the MLE in question remains open.


title: Optimal rates of entropy estimation over Lipschitz balls

abstract: We consider the problem of minimax estimation of the entropy of a density over Lipschitz balls. Dropping the usual assumption that the density is bounded away from zero, we obtain the minimax rates $(n\ln n)^{-s/(s+d)} + n^{-1/2}$ for $0<s\leq 2$ for densities supported on $[0,1]^d$, where $s$ is the smoothness parameter and $n$ is the number of independent samples. We generalize the results to densities with unbounded support: given an Orlicz functions $\Psi$ of rapid growth (such as the sub-exponential and sub-Gaussian classes), the minimax rates for densities with bounded $\Psi$-Orlicz norm increase to $(n\ln n)^{-s/(s+d)} (\Psi^{-1}(n))^{d(1-d/p(s+d))} + n^{-1/2}$, where $p$ is the norm parameter in the Lipschitz ball. We also show that the integral-form plug-in estimators with kernel density estimates fail to achieve the minimax rates, and characterize their worst case performances over the Lipschitz ball. One of the key steps in analyzing the bias relies on a novel application of the Hardy-Littlewood maximal inequality, which also leads to a new inequality on the Fisher information that may be of independent interest.


title: Fast thermal relaxation in cavity-coupled graphene bolometers with a Johnson noise read-out

abstract: Since the invention of the bolometer, its main design principles relied on efficient light absorption into a low-heat-capacity material and its exceptional thermal isolation from the environment. While the reduced thermal coupling to its surroundings allows for an enhanced thermal response, it in turn strongly reduces the thermal time constant and dramatically lowers the detector's bandwidth. With its unique combination of a record small electronic heat capacity and a weak electron-phonon coupling, graphene has emerged as an extreme bolometric medium that allows for both, high sensitivity and high bandwidths. Here, we introduce a hot-electron bolometer based on a novel Johnson noise readout of the electron gas in graphene, which is critically coupled to incident radiation through a photonic nanocavity. This proof-of-concept operates in the telecom spectrum, achieves an enhanced bolometric response at charge neutrality with a noise equivalent power NEP < 5pW/ Sqrt(Hz), a thermal relaxation time of {\tau} < 34ps, an improved light absorption by a factor ~3, and an operation temperature up to T=300K.


title: Measurement of associated Z + charm production in proton-proton collisions at $\sqrt{s} = $ 8 TeV

abstract: A study of the associated production of a Z boson and a charm quark jet (Z + c), and a comparison to production with a b quark jet (Z + b), in pp collisions at a centre-of-mass energy of 8 TeV are presented. The analysis uses a data sample corresponding to an integrated luminosity of 19.7 fb$^{-1}$, collected with the CMS detector at the CERN LHC. The Z boson candidates are identified through their decays into pairs of electrons or muons. Jets originating from heavy flavour quarks are identified using semileptonic decays of c or b flavoured hadrons and hadronic decays of charm hadrons. The measurements are performed in the kinematic region with two leptons with $p_{\rm T}^{\ell} > $ 20 GeV, ${|\eta^{\ell}|} < $ 2.1, 71 $ < m_{\ell\ell} < $ 111 GeV, and heavy flavour jets with $p_{\rm T}^{{\rm jet}} > $ 25 GeV and ${|\eta^{{\rm jet}}|} < $ 2.5. The Z + c production cross section is measured to be $\sigma({\mathrm{p}}{\mathrm{p}} \rightarrow \mathrm{Z} + \mathrm{c} + \mathrm{X}) {\cal B}(\mathrm{Z} \rightarrow \ell^+\ell^-) = $ 8.8 $ \pm $ 0.5 (stat) $ \pm $ 0.6 (syst) pb. The ratio of the Z + c and Z + b production cross sections is measured to be $\sigma({\mathrm{p}}{\mathrm{p}} \rightarrow \mathrm{Z} + \mathrm{c} + \mathrm{X}) / \sigma({\mathrm{p}}{\mathrm{p}} \rightarrow \mathrm{Z} + \mathrm{b} + \mathrm{X}) = $ 2.0 $ \pm $ 0.2 (stat) $ \pm $ 0.2 (syst). The Z + c production cross section and the cross section ratio are also measured as a function of the transverse momentum of the Z boson and of the heavy flavour jet. The measurements are compared with theoretical predictions.


title: A Joint 3D-2D based Method for Free Space Detection on Roads

abstract: In this paper, we address the problem of road segmentation and free space detection in the context of autonomous driving. Traditional methods either use 3-dimensional (3D) cues such as point clouds obtained from LIDAR, RADAR or stereo cameras or 2-dimensional (2D) cues such as lane markings, road boundaries and object detection. Typical 3D point clouds do not have enough resolution to detect fine differences in heights such as between road and pavement. Image based 2D cues fail when encountering uneven road textures such as due to shadows, potholes, lane markings or road restoration. We propose a novel free road space detection technique combining both 2D and 3D cues. In particular, we use CNN based road segmentation from 2D images and plane/box fitting on sparse depth data obtained from SLAM as priors to formulate an energy minimization using conditional random field (CRF), for road pixels classification. While the CNN learns the road texture and is unaffected by depth boundaries, the 3D information helps in overcoming texture based classification failures. Finally, we use the obtained road segmentation with the 3D depth data from monocular SLAM to detect the free space for the navigation purposes. Our experiments on KITTI odometry dataset, Camvid dataset, as well as videos captured by us, validate the superiority of the proposed approach over the state of the art.


title: Comment on Ben-Amotz and Honig, "Average entropy dissipation in irreversible mesoscopic processes," Phys. Rev. Lett. 96, 020602 (2006)

abstract: We point out that most of the classical thermodynamics results in the paper have been known in the literature, see Kestin and Woods, for quite some time and are not new, contrary to what the authors imply. As shown by Kestin, these results are valid for quasistatic irreversible processes only and not for arbitrary irreversible processes as suggested in the paper. Thus, the application to the Jarzynski process is limited.


title: Analysis and Optimization of Population Annealing

abstract: Population annealing is an easily parallelizable sequential Monte Carlo algorithm that is well-suited for simulating the equilibrium properties of systems with rough free energy landscapes. In this work we seek to understand and improve the performance of population annealing. We derive several useful relations between quantities that describe the performance of population annealing and use these relations to suggest methods to optimize the algorithm. These optimization methods were tested by performing large-scale simulations of the 3D Edwards-Anderson (Ising) spin glass and measuring several observables. The optimization methods were found to substantially decrease the amount of computational work necessary as compared to previously used, unoptimized versions of population annealing. We also obtain more accurate values of several important observables for the 3D Edwards-Anderson model.


title: Algorithms for experimenting with Zariski dense subgroups

abstract: We give a method to describe all congruence images of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$. The method is applied to obtain efficient algorithms for solving this problem in odd prime degree $n$; if $n=2$ then we compute all congruence images only modulo primes. We propose a separate method that works for all $n$ as long as $H$ contains a known transvection. The algorithms have been implemented in GAP, enabling computer experiments with important classes of linear groups that have recently emerged.


title: Conditioned Functional Limits and Applications to Queues

abstract: We consider a renewal process that is conditioned on the number of events in a fixed time horizon. We prove that a centered and scaled version of this process converges to a Brownian bridge, as the number of events grows large, which relies on first establishing a functional strong law of large numbers result to determine the centering. These results are consistent with the asymptotic behavior of a conditioned Poisson process. We prove the limit theorems over triangular arrays of exchangeable random variables, obtained by conditionning a sequence of independent and identically distributed renewal processes. We construct martingale difference sequences with respect to these triangular arrays, and use martingale convergence results in our proofs. To illustrate how these results apply to performance analysis in queueing, we prove that the workload process of a single server queue with conditioned renewal arrival process can be approximated by a reflected diffusion having the sum of a Brownian Bridge and Brownian motion as input to its regulator mapping.


title: Detecting Disguised Plagiarism

abstract: Source code plagiarism detection is a problem that has been addressed several times before; and several tools have been developed for that purpose. In this research project we investigated a set of possible disguises that can be mechanically applied to plagiarized source code to defeat plagiarism detection tools. We propose a preprocessor to be used with existing plagiarism detection tools to "normalize" source code before checking it, thus making such disguises ineffective.


title: ADS: Adaptive and Dynamic Scaling Mechanism for Multimedia Conferencing Services in the Cloud

abstract: Multimedia conferencing is used extensively in a wide range of applications, such as online games and distance learning. These applications need to efficiently scale the conference size as the number of participants fluctuates. Cloud is a technology that addresses the scalability issue. However, the proposed cloud-based solutions have several shortcomings in considering the future demand of applications while meeting both Quality of Service (QoS) requirements and efficiency in resource usage. In this paper, we propose an Adaptive and Dynamic Scaling mechanism (ADS) for multimedia conferencing services in the cloud. This mechanism enables scalable and elastic resource allocation with respect to the number of participants. ADS produces a cost-efficient scaling schedule while considering the QoS requirements and the future demand of the conferencing service. We formulate the problem using Integer Linear Programming (ILP) and design a heuristic for it. Simulation results show that ADS mechanism elastically scales conferencing services. Moreover, the ADS heuristic is shown to outperform a greedy algorithm from a resource-efficiency perspective.


title: On Convergence of the Alternating Projection Method for Matrix Completion and Sparse Recovery Problems

abstract: In this paper, we study the convergence of Alternating Projection (AP) algorithm for the matrix completion and compressed sensing problems. We also present computational evidence for the excellent performance of the algorithm. Also, in the last section, we prove using algebraic-geometric techniques that, fixing the known positions, if a rank r matrix can be completed in finitely many ways using one given set of known entries, then, for almost all set of known entries, the matrix can be only completed into a rank r matrix in finitely many ways.


title: Reconstructing Gene Trees From Fitch's Xenology Relation

abstract: Two genes are xenologs in the sense of Fitch if they are separated by at least one horizontal gene transfer event. Horizonal gene transfer is asymmetric in the sense that the transferred copy is distinguished from the one that remains within the ancestral lineage. Hence xenology is more precisely thought of as a non-symmetric relation: $y$ is xenologous to $x$ if $y$ has been horizontally transferred at least once since it diverged from the least common ancestor of $x$ and $y$. We show that xenology relations are characterized by a small set of forbidden induced subgraphs on three vertices. Furthermore, each xenology relation can be derived from a unique least-resolved edge-labeled phylogenetic tree. We provide a linear-time algorithm for the recognition of xenology relations and for the construction of its least-resolved edge-labeled phylogenetic tree. The fact that being a xenology relation is a heritable graph property, finally has far-reaching consequences on approximation problems associated with xenology relations.


title: Search for the standard model deviations in top quark precision studies at CMS

abstract: Precision studies of top quark properties provide a unique playground to test the predictions of the standard model and to search for new physics. Reviewed results from the CMS experiment done with the data collected at 8 TeV include studies of top quark Wtb anomalous and FCNC couplings, polarization, CP-violation, and spin correlation effects. No significant deviations from the SM predictions are observed.


title: Multi-determinant generalized Hartree-Fock wave functions in Monte Carlo calculations

abstract: The quantum Monte Carlo algorithm is arguably one of the most powerful computational many-body methods, enabling accurate calculation of many properties in interacting quantum systems. In the presence of the so-called sign problem, the algorithm typically relies on trial wave functions to eliminate the exponential decay of signal-to-noise ratio, usually at the expense of a bias in the result. The quality of the trial state therefore is critical for accurate simulations. In this work, benchmark results of the ground state auxiliary-field quantum Monte Carlo method are reported for the Hubbard model on several geometries. We demonstrate that when multi-determinant generalized Hartree-Fock states are used as trial wave functions, the systematic errors can be systematically reduced to a low level and the results compare favorably with the exact diagonalization data.


title: Riemannian curvature measures

abstract: A famous theorem of Weyl states that if $M$ is a compact submanifold of euclidean space, then the volumes of small tubes about $M$ are given by a polynomial in the radius $r$, with coefficients that are expressible as integrals of certain scalar invariants of the curvature tensor of $M$ with respect to the induced metric. It is natural to interpret this phenomenon in terms of curvature measures and smooth valuations, in the sense of Alesker, canonically associated to the Riemannian structure of $M$. This perspective yields a fundamental new structure in Riemannian geometry, in the form of a certain abstract module over the polynomial algebra $\mathbb R[t]$ that reflects the behavior of Alesker multiplication. This module encodes a key piece of the array of kinematic formulas of any Riemannian manifold on which a group of isometries acts transitively on the sphere bundle. We illustrate this principle in precise terms in the case where $M$ is a complex space form.


title: Properties of G-Equivalence of Matrices

abstract: The theorem of Hilbert- Burch provides a description of codimension two determinantal varieties and their deformations in terms of their presentation matrices. In this work we use this correspondence to study properties of determinantal varieties, based on methods of singularity theory. We establish the theory of singularities for nxp matrices extending previous results of Bruce and Tari and Fr\"uhbis-Kr\"uger. The main result of this work is the description of equivalent conditions to G-finite determinacy of the presentation matrix of Cohen-Macaulay varieties of codimension 2. We apply the results to obtain sufficient conditions for topological triviality of deformations of weighted homogeneous matrices.


title: On the Gauss-Lucas theorem in the quaternionic setting

abstract: In theory of one complex variable, Gauss-Lucas Theorem states that the critical points of a non constant polynomial belong to the convex hull of the set of zeros of the polynomial. The exact analogue of this result cannot hold, in general, in the quaternionic case; instead, the critical points of a non constant polynomial belong to the convex hull of the set of zeros of the so-called symmetrization of the given polynomial. An incomplete proof of this statement was given in [8]. In this paper we present a different but complete proof of this theorem and we discuss a consequence.


title: Scaling behavior of columnar structure during physical vapor deposition

abstract: The statistical effects of different conditions in physical vapor deposition, such as sputter deposition, have on thin film morphology has long been the subject of interest. One notable effect is that of column development due to differential chamber pressure in the well-known empirical model called Thornton's Structure Zone Model. The model is qualitative in nature and theoretical understanding with quantitative predictions of the morphology is still lacking due to, in part, the absence of a quantitative description of the incident flux distribution on the growth front. In this work, we propose an incident Gaussian flux model developed from a series of binary hard-sphere collisions and simulate its effects using Monte Carlo methods and a solid-on-solid growth scheme. We also propose an approximate cosine-power distribution for faster Monte Carlo sampling. With this model, it is observed that higher chamber pressures widen the average deposition angle, and similarly increase the growth of column diameters (or lateral correlation length) and the column-to-column separation (film surface wavelength). We treat both the column diameter and the surface wavelength as power laws. It is seen that both the column diameter exponent and the wavelength exponent are very sensitive to changes in pressure for low pressures (0.13 Pa to 0.80 Pa); meanwhile both exponents saturate for higher pressures (0.80 Pa to 6.7 Pa) around a value of 0.6. These predictions will serve as guides to future experiments for quantitative description of film morphology under a wide range of vapor pressure.


title: Adaptive Bayesian Sampling with Monte Carlo EM

abstract: We present a novel technique for learning the mass matrices in samplers obtained from discretized dynamics that preserve some energy function. Existing adaptive samplers use Riemannian preconditioning techniques, where the mass matrices are functions of the parameters being sampled. This leads to significant complexities in the energy reformulations and resultant dynamics, often leading to implicit systems of equations and requiring inversion of high-dimensional matrices in the leapfrog steps. Our approach provides a simpler alternative, by using existing dynamics in the sampling step of a Monte Carlo EM framework, and learning the mass matrices in the M step with a novel online technique. We also propose a way to adaptively set the number of samples gathered in the E step, using sampling error estimates from the leapfrog dynamics. Along with a novel stochastic sampler based on Nos\'{e}-Poincar\'{e} dynamics, we use this framework with standard Hamiltonian Monte Carlo (HMC) as well as newer stochastic algorithms such as SGHMC and SGNHT, and show strong performance on synthetic and real high-dimensional sampling scenarios; we achieve sampling accuracies comparable to Riemannian samplers while being significantly faster.


title: Riddled Basins of Attraction in Systems Exhibiting Extreme Events

abstract: Using a system of two FitzHugh-Nagumo units, we demonstrate the occurrence of riddled basins of attraction in delay-coupled systems as the coupling between the units is increased. We characterize the riddled basin using the uncertainty exponent which is a measure of the dimensions of the basin boundary. Additionally, we show that the phase space can be partitioned into pure and mixed regions, where initial conditions in the pure regions certainly avoid the generation of extreme events while initial conditions in the mixed region may or may not exhibit such events. This implies, that any tiny perturbation of initial conditions in the mixed region could yield the emergence of extreme events because the latter state possesses a riddled basin of attraction.


title: On the computability of the Fr\'echet distance of surfaces in the bit-model of real computation

abstract: We show that the Fr\'echet distance of two-dimensional parametrised surfaces in a metric space is computable in the bit-model of real computation. An analogous result in the real RAM model for piecewise-linear surfaces has recently been obtained by Nayyeri and Xu (2016).


title: TAMU at KBP 2017: Event Nugget Detection and Coreference Resolution

abstract: In this paper, we describe TAMU's system submitted to the TAC KBP 2017 event nugget detection and coreference resolution task. Our system builds on the statistical and empirical observations made on training and development data. We found that modifiers of event nuggets tend to have unique syntactic distribution. Their parts-of-speech tags and dependency relations provides them essential characteristics that are useful in identifying their span and also defining their types and realis status. We further found that the joint modeling of event span detection and realis status identification performs better than the individual models for both tasks. Our simple system designed using minimal features achieved the micro-average F1 scores of 57.72, 44.27 and 42.47 for event span detection, type identification and realis status classification tasks respectively. Also, our system achieved the CoNLL F1 score of 27.20 in event coreference resolution task.


title: Association of radio polar cap brightening with bright patches and coronal holes

abstract: Radio-bright regions near the solar poles are frequently observed in Nobeyama Radioheliograph (NoRH) maps at 17 GHz, and often in association with coronal holes. However, the origin of these polar brightening has not been established yet. We propose that small magnetic loops are the source of these bright patches, and present modeling results that reproduce the main observational characteristics of the polar brightening within coronal holes at 17 GHz. The simulations were carried out by calculating the radio emission of the small loops, with several temperature and density profiles, within a 2D coronal hole atmospheric model. If located at high latitudes, the size of the simulated bright patches are much smaller than the beam size and they present the instrument beam size when observed. The larger bright patches can be generated by a great number of small magnetic loops unresolved by the NoRH beam. Loop models that reproduce bright patches contain denser and hotter plasma near the upper chromosphere and lower corona. On the other hand, loops with increased plasma density and temperature only in the corona do not contribute to the emission at 17 GHz. This could explain the absence of a one-to-one association between the 17 GHz bright patches and those observed in extreme ultraviolet. Moreover, the emission arising from small magnetic loops located close to the limb may merge with the usual limb brightening profile, increasing its brightness temperature and width.


title: Charm, Bottom, Strange Baryon Masses Using QCD Sum Rules

abstract: We use the method of QCD Sum Rules to estimate the masses of the charm baryon, $\Lambda^+_c$, bottom baryon $\Lambda^0_b$, strange baryon $\Lambda^0_s$ and compare them to their experimental values.


title: The menu complexity of "one-and-a-half-dimensional" mechanism design

abstract: We study the menu complexity of optimal and approximately-optimal auctions in the context of the "FedEx" problem, a so-called "one-and-a-half-dimensional" setting where a single bidder has both a value and a deadline for receiving an [FGKK16]. The menu complexity of an auction is equal to the number of distinct (allocation, price) pairs that a bidder might receive [HN13]. We show the following when the bidder has $n$ possible deadlines: - Exponential menu complexity is necessary to be exactly optimal: There exist instances where the optimal mechanism has menu complexity is $2^n-1$. This matches exactly the upper bound provided by Fiat et al.'s algorithm, and resolves one of their open questions [FGKK16]. - Fully polynomial menu complexity is necessary and sufficient for approximation: For all instances, there exists a mechanism guaranteeing a multiplicative (1-\epsilon)-approximation to the optimal revenue with menu complexity $O(n^{3/2}\sqrt{\frac{\min\{n/\epsilon,\ln(v_{\max})\}}{\epsilon}}) = O(n^2/\epsilon)$, where $v_{\max}$ denotes the largest value in the support of integral distributions. - There exist instances where any mechanism guaranteeing a multiplicative $(1-O(1/n^2))$-approximation to the optimal revenue requires menu complexity $\Omega(n^2)$. Our main technique is the polygon approximation of concave functions [Rote19], and our results here should be of independent interest. We further show how our techniques can be used to resolve an open question of [DW17] on the menu complexity of optimal auctions for a budget-constrained buyer.


title: Search for a Signature of Twist-Removal in the Magnetic Field of Sunspots in Relation with Major Flares

abstract: We investigate the restructuring of the magnetic field in sunspots associated with two flares: the X6.5 flare on 6 December 2006 and the X2.2 flare on 15 February 2011. The observed changes were evaluated with respect to the so-called twist-removal model, in which helicity (twist) is removed from the corona as the result of an eruption. Since no vector magnetograms were available for the X6.5 flare, we applied the azimuthal symmetry approach to line-of-sight magnetograms to reconstruct the pseudo-vector magnetic field and investigate the changes in average twist and inclination of magnetic field in the sunspot around the time of the flare. For the X2.2 flare, results from the full vector magnetograms were compared with the pseudo-vector field data. For both flares, the data show changes consistent with the twist-removal scenario. We also evaluate the validity of the azimuthal symmetry approach on simple isolated round sunspots. In general, the derivations based on the azimuthal symmetry approach agree with true-vector field data though we find that even for symmetric sunspots the distribution of the magnetic field may deviate from an axially symmetric distribution.


title: Broadband Photometric Reverberation Mapping Analysis on SDSS-RM and Stripe 82 Quasars

abstract: We modified the broadband photometric reverberation mapping (PRM) code, JAVELIN, and tested the availability to get broad line region (BLR) time delays that are consistent with the spectroscopic reverberation mapping (SRM) project SDSS-RM. The broadband light curves of SDSS-RM quasars produced by convolution with the system trans- mission curves were used in the test. We found that under similar sampling conditions (evenly and frequently sampled), the key factor determining whether the broadband PRM code can yield lags consistent with the SRM project is the flux ratio of the broad emission line to the reference continuum, which is in line with the previous findings. We further found a critical line-to-continuum flux ratio, about 6%, above which the mean of the ratios between the lags from PRM and SRM becomes closer to unity, and the scatter is pronouncedly reduced. We also tested our code on a subset of SDSS Stripe 82 quasars, and found that our program tends to give biased lag estimations due to the observation gaps when the R-L relation prior in Markov Chain Monte Carlo (MCMC) is discarded. The performance of the damped random walk (DRW) model and the power-law (PL) structure function model on broadband PRM were compared. We found that given both SDSS-RM-like or Stripe 82-like light curves, the DRW model performs better in carrying out broadband PRM than the PL model.


title: On the Monetary Loss Due to Passive and Active Attacks on MIMO Smart Grid Communications

abstract: We consider multiple source nodes (consumers) communicating wirelessly their energy demands to the meter data-management system (MDMS) over the subarea gateway(s). We quantify the impacts of passive and active security attacks on the wireless communications system's reliability and security as well as the energy-demand estimation-error cost in dollars paid by the utility. We adopt a multiple-input multiple-output multi-antenna-eavesdropper (MIMOME) wiretap channel model. To secure the MIMO wireless communication system, the legitimate nodes generate artificial noise (AN) vectors to mitigate the effect of the passive eavesdropping attacks. In addition, we propose a redundant design where multiple gateways are assumed to coexist in each subarea to forward the consumers' energy-demand messages. We quantify the redundant designs impact on the communication reliability between the consumers and the MDMS and on the energy-demand estimation-error cost.


title: Accuracy of fission dynamics within the time dependent superfluid local density approximation

abstract: We discuss properties of the method based on time dependent superfluid local density approximation (TDSLDA) within an application to induced fission of 240Pu and surrounding nuclei. Various issues related to accuracy of time evolution and the determination of the properties of fission fragments are discussed.


title: On Elliptic Curves of prime power conductor over imaginary quadratic fields with class number one

abstract: The main result of this paper is to extend from $\Q$ to each of the nine imaginary quadratic fields of class number one a result of Serre (1987) and Mestre-Oesterl\'e (1989), namely that if $E$ is an elliptic curve of prime conductor then either $E$ or a $2$-, $3$- or $5$-isogenous curve has prime discriminant. For four of the nine fields, the theorem holds with no change, while for the remaining five fields the discriminant of a curve with prime conductor is either prime or the square of a prime. The proof is conditional in two ways: first that the curves are modular, so are associated to suitable Bianchi newforms; and second that a certain level-lowering conjecture holds for Bianchi newforms. We also classify all elliptic curves of prime power conductor and non-trivial torsion over each of the nine fields: in the case of $2$-torsion, we find that such curves either have CM or with a small finite number of exceptions arise from a family analogous to the Setzer-Neumann family over $\Q$.


title: Approximate fixed points and B-amenable groups

abstract: A topological group $G$ is B-amenable if and only if every continuous affine action of $G$ on a bounded convex subset of a locally convex space has an approximate fixed point. Similar results hold more generally for slightly uniformly continuous semigroup actions.


title: Active regeneration unites high- and low-temperature features in cooperative self-assembly

abstract: Cytoskeletal filaments are capable of self-assembly in the absence of externally supplied chemical energy, but the rapid turnover rates essential for their biological function require a constant flux of ATP or GTP hydrolysis. The same is true for two-dimensional protein assemblies employed in the formation of vesicles from cellular membranes, which rely on ATP-hydrolyzing enzymes to rapidly disassemble upon completion of the process. Recent observations suggest that the nucleolus, p granules and other three-dimensional membraneless organelles may also demand dissipation of chemical energy to maintain their fluidity. Cooperative binding plays a crucial role in the dynamics of these higher-dimensional structures, but is absent from classic models of 1-dimensional cytoskeletal assembly. In this Letter, we present a thermodynamically consistent model of actively regeneration with cooperative assembly, and compute the maximum turnover rate and minimum disassembly time as a function of the chemical driving force and the binding energy. We find that these driven structures resemble different equilibrium states above and below the nucleation barrier. In particular, we show that the maximal acceleration under large binding energies unites infinite-temperature local fluctuations with low-temperature nucleation kinetics.


title: Synthetic and Natural Noise Both Break Neural Machine Translation

abstract: Character-based neural machine translation (NMT) models alleviate out-of-vocabulary issues, learn morphology, and move us closer to completely end-to-end translation systems. Unfortunately, they are also very brittle and easily falter when presented with noisy data. In this paper, we confront NMT models with synthetic and natural sources of noise. We find that state-of-the-art models fail to translate even moderately noisy texts that humans have no trouble comprehending. We explore two approaches to increase model robustness: structure-invariant word representations and robust training on noisy texts. We find that a model based on a character convolutional neural network is able to simultaneously learn representations robust to multiple kinds of noise.


title: A Distance Estimate to the Cygnus Loop Based on the Distances to Two Stars Located Within the Remnant

abstract: Underlying nearly every quantitative discussion of the Cygnus Loop supernova remnant is uncertainty about its distance. Here we present optical images and spectra of nebulosities around two stars whose mass-loss material appears to have interacted with the remnant's expanding shock front and thus can be used to estimate the Cygnus Loop's distance. Narrow passband images reveal a small emission-line nebula surrounding an M4 red giant near the remnant's eastern nebula NGC 6992. Optical spectra of the nebula show it to be shock-heated with significantly higher electron densities than seen in the remnant's filaments. This along with a bow-shaped morphology suggests it is likely red giant mass-loss material shocked and accelerated by passage of the Cygnus Loop's blast wave. We also identify a B7 V star located along the remnant's northwestern limb which also appears to have interacted with the remnant's shock wave. It lies within a small arc of nebulosity in an unusually complex region of highly curved and distorted filaments along the remnant's northern shock front suggestive of a localized disturbance of the shock front due to the B star's stellar winds. Based on the assumption that these two stars lie inside the remnant, combined with an estimated distance to a molecular cloud situated along the remnant's western limb, we propose a distance to the Cygnus Loop of 1.0 +/- 0.2 kpc. Although larger than several recent estimates of 500 - 800 pc, a distance ~1 kpc helps resolve difficulties with the remnant's postshock cosmic ray and gas pressure ratio and estimated supernova explosion energy.


title: Determining the Refractive Index of Human Hemoglobin Solutions by Kramers-Kronig Relations with an Improved Absorption Model

abstract: The real part of the refractive index (RI) of aqueous solutions of human hemoglobin is computed from their absorption spectra in the wavelength range $250\,{\rm nm} - 1100\,{\rm nm}$ using the Kramers-Kronig (KK) relations and the corresponding uncertainty analysis is provided. The strong ultraviolet (UV) and infrared absorbance of the water outside this spectral range were taken into account in a previous study employing KK relations. We improve these results by including the concentration dependence of the water absorbance as well as by modeling the deep UV absorbance of hemoglobin's peptide backbone. The two free parameters of the model for the deep UV absorbance are fixed by a global fit.


title: When disorder looks like order: a new model to explain radial magnetic fields in young supernova remnants

abstract: Radial magnetic fields are observed in all known young, shell-type supernova remnants (SNRs) in our Galaxy, including Cas A, Tycho, Kepler, and SN1006 and yet the nature of these radial fields has not been thoroughly explored. Using a 3D model, we consider the existence and observational implications of an intrinsically radial field. We also present a new explanation of the origin of the radial pattern observed from polarization data as resulting from a selection effect due to the distribution of cosmic-ray electrons (CREs). We show that quasi-parallel acceleration can concentrate CREs at regions where the magnetic field is radial, making a completely turbulent field appear ordered, when it is in fact disordered. We discuss observational properties that may help distinguish between an intrinsically radial magnetic field and the case where it only appears radial due to the CRE distribution. We also show that the case of an intrinsically radial field with a quasi-perpendicular CRE acceleration mechanism has intriguing similarities to the observed polarization properties of SN1006.


title: Optical excitation and detection of neuronal activity

abstract: Optogenetics has emerged as an exciting tool for manipulating neural activity, which in turn, can modulate behavior in live organisms. However, detecting the response to the optical stimulation requires electrophysiology with physical contact or fluorescent imaging at target locations, which is often limited by photobleaching and phototoxicity. In this paper, we show that phase imaging can report the intracellular transport induced by optogenetic stimulation. We developed a multimodal instrument that can both stimulate cells with high spatial resolution and detect optical pathlength changes with nanometer scale sensitivity. We found that optical pathlength fluctuations following stimulation are consistent with active organelle transport. Furthermore, the results indicate a broadening in the transport velocity distribution, which is significantly higher in stimulated cells compared to optogenetically inactive cells. It is likely that this label-free, contactless measurement of optogenetic response will provide an enabling approach to neuroscience.


title: Asteroseismology of red giants & galactic archaeology

abstract: Red-giant stars are low- to intermediate-mass ($M \lesssim 10$~M$_{\odot}$) stars that have exhausted hydrogen in the core. These extended, cool and hence red stars are key targets for stellar evolution studies as well as galactic studies for several reasons: a) many stars go through a red-giant phase; b) red giants are intrinsically bright; c) large stellar internal structure changes as well as changes in surface chemical abundances take place over relatively short time; d) red-giant stars exhibit global intrinsic oscillations. Due to their large number and intrinsic brightness it is possible to observe many of these stars up to large distances. Furthermore, the global intrinsic oscillations provide a means to discern red-giant stars in the pre-helium core burning from the ones in the helium core burning phase and provide an estimate of stellar ages, a key ingredient for galactic studies. In this lecture I will first discuss some physical phenomena that play a role in red-giant stars and several phases of red-giant evolution. Then, I will provide some details about asteroseismology -- the study of the internal structure of stars through their intrinsic oscillations -- of red-giant stars. I will conclude by discussing galactic archaeology -- the study of the formation and evolution of the Milky Way by reconstructing its past from its current constituents -- and the role red-giant stars can play in that.


title: Model-independent curvature determination with 21cm intensity mapping experiments

abstract: Recent precision cosmological parameter constraints imply that the spatial curvature of the Universe is essentially dynamically negligible - but only if relatively strong assumptions are made about the equation of state of dark energy (DE). When these assumptions are relaxed, strong degeneracies arise that make it hard to disentangle DE and curvature, degrading the constraints. We show that forthcoming 21cm intensity mapping experiments such as HIRAX are ideally designed to carry out model-independent curvature measurements, as they can measure the clustering signal at high redshift with sufficient precision to break many of the degeneracies. We consider two different model-independent methods, based on `avoiding' the DE-dominated regime and non-parametric modelling of the DE equation of state respectively. Our forecasts show that HIRAX will be able to improve upon current model-independent constraints by around an order of magnitude, reaching percent-level accuracy even when an arbitrary DE equation of state is assumed. In the same model-independent analysis, the sample variance limit for a similar survey is another order of magnitude better.


title: Lepton Number Violation: Seesaw Models and Their Collider Tests

abstract: The Majorana nature of neutrinos is strongly motivated from the theoretical and phenomenological point of view. A plethora of neutrino mass models, known collectively as Seesaw models, exist that could generate both a viable neutrino mass spectrum and mixing pattern. They can also lead to rich, new phenomenology, including lepton number non-conservation as well as new particles, that may be observable at collider experiments. It is therefore vital to search for such new phenomena and the mass scale associated with neutrino mass generation at high energy colliders. In this review, we consider a number of representative Seesaw scenarios as phenomenological benchmarks, including the characteristic Type I, II, and III Seesaw mechanisms, their extensions and hybridizations, as well as radiative constructions. We present new and updated predictions for analyses featuring lepton number violation and expected coverage in the theory parameter space at current and future colliders. We emphasize new production and decay channels, their phenomenological relevance and treatment across different facilities in $e^+e^-$, $e^-p$ and $pp$ collisions, as well as the available Monte Carlo tools available for studying Seesaw partners in collider environments.


title: Mobile Encryption Gateway (MEG) for Email Encryption

abstract: Email cryptography applications often suffer from major problems that prevent their widespread implementation. MEG, or the Mobile Encryption Gateway aims to fix the issues associated with email encryption by ensuring that encryption is easy to perform while still maintaining data security. MEG performs automatic decryption and encryption of all emails using PGP. Users do not need to understand the internal workings of the encryption process to use the application. MEG is meant to be email-client-agnostic, enabling users to employ virtually any email service to send messages. Encryption actions are performed on the user's mobile device, which means their keys and data remain personal. MEG can also tackle network effect problems by inviting non-users to join. Most importantly, MEG uses end-to-end encryption, which ensures that all aspects of the encrypted information remains private. As a result, we are hopeful that MEG will finally solve the problem of practical email encryption.


title: Functional renormalization group approach to SU(N) Heisenberg models: Real-space RG at arbitrary N

abstract: The pseudofermion functional renormalization group (pf-FRG) is one of the few numerical approaches that has been demonstrated to quantitatively determine the ordering tendencies of frustrated quantum magnets in two and three spatial dimensions. The approach, however, relies on a number of presumptions and approximations, in particular the choice of pseudofermion decomposition and the truncation of an infinite number of flow equations to a finite set. Here we generalize the pf-FRG approach to SU(N)-spin systems with arbitrary N and demonstrate that the scheme becomes exact in the large-N limit. Numerically solving the generalized real-space renormalization group equations for arbitrary N, we can make a stringent connection between the physically most significant case of SU(2)-spins and more accessible SU(N) models. In a case study of the square-lattice SU(N) Heisenberg antiferromagnet, we explicitly demonstrate that the generalized pf-FRG approach is capable of identifying the instability indicating the transition into a staggered flux spin liquid ground state in these models for large, but finite values of N. In a companion paper (arXiv:1711.02183) we formulate a momentum-space pf-FRG approach for SU(N) spin models that allows us to explicitly study the large-N limit and access the low-temperature spin liquid phase.


title: Functional renormalization group approach to SU(N) Heisenberg models: Momentum-space RG for the large-N limit

abstract: In frustrated magnetism, making a stringent connection between microscopic spin models and macroscopic properties of spin liquids remains an important challenge. A recent step towards this goal has been the development of the pseudofermion functional renormalization group approach (pf-FRG) which, building on a fermionic parton construction, enables the numerical detection of the onset of spin liquid states as temperature is lowered. In this work, focusing on the SU(N) Heisenberg model at large N, we extend this approach in a way that allows us to directly enter the low-temperature spin liquid phase, and to probe its character. Our approach proceeds in momentum space, making it possible to keep the truncation minimalistic, while also avoiding the bias introduced by an explicit decoupling of the fermionic parton interactions into a given channel. We benchmark our findings against exact mean-field results in the large-N limit, and show that even without prior knowledge the pf-FRG approach identifies the correct mean-field decoupling channel. On a technical level, we introduce an alternative finite temperature regularization scheme that is necessitated to access the spin liquid ordered phase. In a companion paper arXiv:1711.02182 we present a different set of modifications of the pf-FRG scheme that allow us to study SU(N) Heisenberg models (using a real-space RG approach) for arbitrary values of N, albeit only up to the phase transition towards spin liquid physics.


title: Semiparametric Estimation of Structural Functions in Nonseparable Triangular Models

abstract: Triangular systems with nonadditively separable unobserved heterogeneity provide a theoretically appealing framework for the modelling of complex structural relationships. However, they are not commonly used in practice due to the need for exogenous variables with large support for identification, the curse of dimensionality in estimation, and the lack of inferential tools. This paper introduces two classes of semiparametric nonseparable triangular models that address these limitations. They are based on distribution and quantile regression modelling of the reduced form conditional distributions of the endogenous variables. We show that average, distribution and quantile structural functions are identified in these systems through a control function approach that does not require a large support condition. We propose a computationally attractive three-stage procedure to estimate the structural functions where the first two stages consist of quantile or distribution regressions. We provide asymptotic theory and uniform inference methods for each stage. In particular, we derive functional central limit theorems and bootstrap functional central limit theorems for the distribution regression estimators of the structural functions. These results establish the validity of the bootstrap for three-stage estimators of structural functions, and lead to simple inference algorithms. We illustrate the implementation and applicability of all our methods with numerical simulations and an empirical application to demand analysis.


title: Modulation instability in noninstantaneous Kerr media with walk-off effects and cross-phase modulation for two copropagating beams experiencing anomalous GVD regime

abstract: The dynamics of the modulation instability induced by cross phase modulation is studied by considering the influence of the walk-off and noninstantaneous response effects for two copropagating optical fields travelling in the anomalous regime of dispersion. To do so, we make use of extensions of the nonlinear Schr\"odinger equation jointly with the Debye model for polarization, which is shown to be effective and simplified when compared to the implementation of other methods for the noninstantaneous nonlinear response. In analyzing the sideband formation, two bands are observed with different behaviors with respect to the way the maximum gain and the respective frequency vary with increasing phase mismatch. Further, we also show that the manner in which the maximum gain as well as its corresponding frequency scale with the delay parameter $\tau$ is substantially different from the cases of both fields experiencing the normal group-velocity dispersion regime and the case of mixed regimes. These facts may give rise to many new possibilities for the evolution of the modulated wave when compared to the nonanomalous cases studied in the literature.


title: Quickest Change Detection under Transient Dynamics: Theory and Asymptotic Analysis

abstract: The problem of quickest change detection (QCD) under transient dynamics is studied, where the change from the initial distribution to the final persistent distribution does not happen instantaneously, but after a series of transient phases. The observations within the different phases are generated by different distributions. The objective is to detect the change as quickly as possible, while controlling the average run length (ARL) to false alarm, when the durations of the transient phases are completely unknown. Two algorithms are considered, the dynamic Cumulative Sum (CuSum) algorithm, proposed in earlier work, and a newly constructed weighted dynamic CuSum algorithm. Both algorithms admit recursions that facilitate their practical implementation, and they are adaptive to the unknown transient durations. Specifically, their asymptotic optimality is established with respect to both Lorden's and Pollak's criteria as the ARL to false alarm and the durations of the transient phases go to infinity at any relative rate. Numerical results are provided to demonstrate the adaptivity of the proposed algorithms, and to validate the theoretical results.


title: Hydrodynamic mobility of confined polymeric particles, vesicles and cancer cells in a square microchannel

abstract: The transport of deformable objects including polymer particles, vesicles and cells, has been a subject of interest for several decades where the majority of experimental and theoretical studies have been focused on circular tubes. Due to advances in microfluidics, there is a need to study the transport of individual deformable particles in rectangular microchannels where corner flows can be important. In this study, we report measurements of hydrodynamic mobility of confined polymeric particles, vesicles and cancer cells in a linear microchannel with square cross-section. Our operating conditions are such that the mobility is measured as a function of geometric confinement over the range 0.3 < l < 1.5 and at specified particle Reynolds numbers that are within 0.1 < Rep < 2.5. The experimental mobility data of each of these systems is compared with the circular-tube theory of Hestroni, Haber and Wacholder (J. of Fluid Mech., 1970) with modifications made for a square cross-section. For polymeric particles, we find that the mobility data agrees well over a large confinement range with the theory but under predicts for vesicles. The mobility of vesicles is higher in a square channel than in a circular tube, and does not depend significantly on membrane mechanical properties. The mobility of cancer cells is in good agreement with the theory up to l approaches 0.8, after which it deviates. Comparison of the mobility data of the three systems reveals that cancer cells have higher mobility than rigid particles but lower than vesicles, suggesting that the cell membrane frictional properties are in between a solid-like interface and a fluid bilayer. We explain further the differences in the mobility of the three systems by considering their shape deformation and surface flow on the interface. The results of this study may find potential applications in drug delivery and biomedical diagnostics.


title: Bayesian surface photometry analysis for early-type galaxies

abstract: We explore the application of Bayesian image analysis to infer the properties of an SDSS early-type galaxy sample including AGN. We use GALPHAT (Yoon et al. 2010) with a Bayes-factor model comparison to photometrically infer an AGN population and verify this using spectroscopic signatures. Our combined posterior sample for the SDSS sample reveals distinct low and high concentration modes after the point-source flux is modeled. This suggests that ETG parameters are intrinsically bimodal. The bimodal signature was weak when analyzed by GALFIT (Peng et al. 2002, 2010). This led us to create several ensembles of synthetic images to investigate the bias of inferred structural parameters and compare with GALFIT. GALPHAT inferences are less biased, especially for high-concentration profiles: GALPHAT S\'ersic index $n$, $r_{e}$ and MAG deviate from the true values by $6\%$, $7.6\%$ and $-0.03 \,\mathrm{mag}$, respectively, while GALFIT deviates by $15\%$, $22\%$ and $-0.09$\, mag, respectively. In addition, we explore the reliability for the photometric detection of AGN using Bayes factors. For our SDSS sample with $r_{e}\ge 7.92\,$arcsec, we correctly identify central point sources with $\mathrm{Mag_{PS}}-\mathrm{Mag_{Sersic}}\le 5$ for $n\le6$ and $\mathrm{Mag_{PS}}-\mathrm{Mag_{Sersic}}\le 3$ for $n>6$. The magnitude range increases and classification error decreases with increasing resolution, suggesting that this approach will excel for upcoming high-resolution surveys. Future work will extend this to models that test hypotheses of galaxy evolution through the cosmic time.


title: Ax-Schanuel for Shimura varieties

abstract: We prove the Ax-Schanuel theorem for a general (pure) Shimura variety.


title: Anomalous effects of dense matter under rotation

abstract: We study the anomaly induced effects of dense baryonic matter under rotation. We derive the anomalous terms that account for the chiral vortical effect in the low-energy effective theory for light Nambu-Goldstone modes. The anomalous terms lead to new physical consequences, such as the anomalous Hall energy current and spontaneous generation of angular momentum in a magnetic field (or spontaneous magnetization by rotation). In particular, we show that, due to the presence of such anomalous terms, the ground state of the quantum chromodynamics (QCD) under sufficiently fast rotation becomes the "chiral soliton lattice" of neutral pions that has lower energy than the QCD vacuum and nuclear matter. We briefly discuss the possible realization of the chiral soliton lattice induced by a fast rotation in noncentral heavy ion collisions.


title: Krein Signature in Hamiltonian and $\mathcal{PT}$-symmetric Systems

abstract: We explain the concept of Krein signature in Hamiltonian and $\mathcal{PT}$-symmetric systems on the case study of the one-dimensional Gross-Pitaevskii equation with a real harmonic potential and an imaginary linear potential. These potentials correspond to the magnetic trap, and a linear gain/loss in the mean-field model of cigar-shaped Bose-Einstein condensates. For the linearized Gross-Pitaevskii equation, we introduce the real-valued Krein quantity, which is nonzero if the eigenvalue is neutrally stable and simple and zero if the eigenvalue is unstable. If the neutrally stable eigenvalue is simple, it persists with respect to perturbations. However, if it is multiple, it may split into unstable eigenvalues under perturbations. A necessary condition for the onset of instability past the bifurcation point requires existence of two simple neutrally stable eigenvalues of opposite Krein signatures before the bifurcation point. This property is useful in the parameter continuations of neutrally stable eigenvalues of the linearized Gross-Pitaevskii equation.


title: A note on dispersing particles on a line

abstract: We consider a synchronous dispersion process introduced in \cite{CRRS} and we show that on the infinite line the final set of occupied sites takes up $O(n)$ space, where $n$ is the number of particles involved.


title: Efficient boundary corrected Strang splitting

abstract: Strang splitting is a well established tool for the numerical integration of evolution equations. It allows the application of tailored integrators for different parts of the vector field. However, it is also prone to order reduction in the case of non-trivial boundary conditions. This order reduction can be remedied by correcting the boundary values of the intermediate splitting step. In this paper, three different approaches for constructing such a correction in the case of inhomogeneous Dirichlet, Neumann, and mixed boundary conditions are presented. Numerical examples that illustrate the effectivity and benefits of these corrections are included.


title: On Derandomizing Local Distributed Algorithms

abstract: The gap between the known randomized and deterministic local distributed algorithms underlies arguably the most fundamental and central open question in distributed graph algorithms. In this paper, we develop a generic and clean recipe for derandomizing LOCAL algorithms. We also exhibit how this simple recipe leads to significant improvements on a number of problem. Two main results are: - An improved distributed hypergraph maximal matching algorithm, improving on Fischer, Ghaffari, and Kuhn [FOCS'17], and giving improved algorithms for edge-coloring, maximum matching approximation, and low out-degree edge orientation. The first gives an improved algorithm for Open Problem 11.4 of the book of Barenboim and Elkin, and the last gives the first positive resolution of their Open Problem 11.10. - An improved distributed algorithm for the Lov\'{a}sz Local Lemma, which gets closer to a conjecture of Chang and Pettie [FOCS'17], and moreover leads to improved distributed algorithms for problems such as defective coloring and $k$-SAT.


title: Optimality of Approximate Inference Algorithms on Stable Instances

abstract: Approximate algorithms for structured prediction problems---such as LP relaxations and the popular alpha-expansion algorithm (Boykov et al. 2001)---typically far exceed their theoretical performance guarantees on real-world instances. These algorithms often find solutions that are very close to optimal. The goal of this paper is to partially explain the performance of alpha-expansion and an LP relaxation algorithm on MAP inference in Ferromagnetic Potts models (FPMs). Our main results give stability conditions under which these two algorithms provably recover the optimal MAP solution. These theoretical results complement numerous empirical observations of good performance.


title: Constitutive relations for shear fronts in shear-thickening suspensions

abstract: We study the fronts that appear when a shear-thickening suspension is submitted to a sudden driving force at a boundary. Using a quasi-one-dimensional experimental geometry, we extract the front shape and the propagation speed from the suspension flow field and map out their dependence on applied shear. We find that the relation between stress and velocity is quadratic, as is generally true for inertial effects in liquids, but with a pre-factor that can be much larger than the material density. We show that these experimental findings can be explained by an extension of the Wyart-Cates model, which was originally developed to describe steady-state shear-thickening. This is achieved by introducing a sole additional parameter: the characteristic strain scale that controls the crossover from start-up response to steady-state behavior. The theoretical framework we obtain unifies both transient and steady-state properties of shear-thickening materials.


title: Analysis Of A Domain Decomposition-Based Cell-Centered Method for Heterogeneous Anisotropic Diffusion Problems

abstract: The paper is concerned with the derivation and analysis of nonoverlapping domain decomposition for heterogeneous, anisotropic diffusion problems discretized by the finite element cell-centered (FECC) scheme. Differently from the standard finite element method (FEM), the FECC method involves only cell unknowns and satisfies local conservation of fluxes by using a technique of dual mesh and multipoint flux approximations to construct the discrete gradient operator. Consequently, if the domain is decomposed into nonoverlapping subdomains, the transmission conditions (on the interfaces between subdomains) associated with the FECC scheme are different from those of the standard FEM. However, the substructuring procedure as well as the Neumann-Neumann type preconditioner can be adapted to the domain decomposition-based FECC method naturally. Convergence analysis of a preconditioned iterative algorithm, namely the Dirichlet-Neumann to Neumann-Neumann algorithm, associated with the discrete FECC interface problem is the main focus of this work. Two dimensional numerical results for two subdomains with conforming meshes demonstrate that the preconditioned iterative algorithm converges independently of the mesh size and the coefficient jump.


title: Regret Bounds and Regimes of Optimality for User-User and Item-Item Collaborative Filtering

abstract: We consider an online model for recommendation systems, with each user being recommended an item at each time-step and providing 'like' or 'dislike' feedback. Each user may be recommended a given item at most once. A latent variable model specifies the user preferences: both users and items are clustered into types. All users of a given type have identical preferences for the items, and similarly, items of a given type are either all liked or all disliked by a given user. We assume that the matrix encoding the preferences of each user type for each item type is randomly generated; in this way, the model captures structure in both the item and user spaces, the amount of structure depending on the number of each of the types. The measure of performance of the recommendation system is the expected number of disliked recommendations per user, defined as expected regret. We propose two algorithms inspired by user-user and item-item collaborative filtering (CF), modified to explicitly make exploratory recommendations, and prove performance guarantees in terms of their expected regret. For two regimes of model parameters, with structure only in item space or only in user space, we prove information-theoretic lower bounds on regret that match our upper bounds up to logarithmic factors. Our analysis elucidates system operating regimes in which existing CF algorithms are nearly optimal.


title: Overlapping Localized Exponential Time Differencing Methods for Diffusion Problems

abstract: The paper is concerned with overlapping domain decomposition and exponential time differencing for the diffusion equation discretized in space by cell-centered finite differences. Two localized exponential time differencing methods are proposed to solve the fully discrete problem: the first method is based on Schwarz iteration applied at each time step and involves solving stationary problems in the subdomains at each iteration, while the second method is based on the Schwarz waveform relaxation algorithm in which time-dependent subdomain problems are solved at each iteration. The convergence of the associated iterative solutions to the corresponding fully discrete multidomain solution and to the exact semi-discrete solution is rigorously proved. Numerical experiments are carried out to confirm theoretical results and to compare the performance of the two methods.


title: Quantum superiority for verifying NP-complete problems with linear optics

abstract: Demonstrating quantum superiority for some computational task will be a milestone for quantum technologies and would show that computational advantages are possible not only with a universal quantum computer but with simpler physical devices. Linear optics is such a simpler but powerful platform where classically-hard information processing tasks, such as Boson Sampling, can be in principle implemented. In this work, we study a fundamentally different type of computational task to achieve quantum superiority using linear optics, namely the task of verifying NP-complete problems. We focus on a protocol by Aaronson et al. (2008) that uses quantum proofs for verification. We show that the proof states can be implemented in terms of a single photon in an equal superposition over many optical modes. Similarly, the tests can be performed using linear-optical transformations consisting of a few operations: a global permutation of all modes, simple interferometers acting on at most four modes, and measurement using single-photon detectors. We also show that the protocol can tolerate experimental imperfections.


title: Reactive Integrated Mission and Motion planning

abstract: Correct-by-construction manipulation planning in a dynamic environment, where other agents can manipulate objects in the workspace, is a challenging problem. The tight coupling of actions and motions between agents and complexity of mission specifications makes the problem computationally intractable. This paper presents a reactive integrated mission and motion planning for mobile-robot manipulator systems operating in a partially known environment. We introduce a multi-layered synergistic framework that receives high-level mission specifications expressed in linear temporal logic and generates dynamically-feasible and collision-free motion trajectories to achieve it. In the high-level layer, a mission planner constructs a symbolic two-player game between the robots and their environment to synthesis a strategy that adapts to changes in the workspace imposed by other robots. A bilateral synergistic layer is developed to map the designed mission plan to an integrated task and motion planner, constructing a set of robot tasks to move the objects according to the mission strategy. In the low-level planning stage, verifiable motion controllers are designed that can be incrementally composed to guarantee a safe motion planning for each high-level induced task. The proposed framework is illustrated with a multi-robot warehouse example with the mission of moving objects to various locations.