title: Non-Cooperative Rational Interactive Proofs

abstract: Interactive-proof games model the scenario where an honest party interacts with powerful but strategic provers, to elicit from them the correct answer to a computational question. Interactive proofs are increasingly used as a framework to design protocols for computation outsourcing. Existing interactive-proof games largely fall into two categories: either as games of cooperation such as multi-prover interactive proofs and cooperative rational proofs, where the provers work together as a team; or as games of conflict such as refereed games, where the provers directly compete with each other in a zero-sum game. Neither of these extremes truly capture the strategic nature of service providers in outsourcing applications. How to design and analyze non-cooperative interactive proofs is an important open problem. In this paper, we introduce a mechanism-design approach to define a multi-prover interactive-proof model in which the provers are rational and non-cooperative---they act to maximize their expected utility given others' strategies. We define a strong notion of backwards induction as our solution concept to analyze the resulting extensive-form game with imperfect information. Our protocols provide utility gap guarantees, which are analogous to soundness gap in classic interactive proofs. At a high level, a utility gap of u means that the protocol is robust against provers that may not care about a utility loss of 1/u. We fully characterize the complexity of our proof system under different utility gap guarantees. For example, we show that with a polynomial utility gap, the power of non-cooperative rational interactive proofs is exactly P^NEXP.


title: Derived categories of families of sextic del Pezzo surfaces

abstract: We construct a natural semiorthogonal decomposition for the derived category of an arbitrary flat family of sextic del Pezzo surfaces with at worst du Val singularities. This decomposition has three components equivalent to twisted derived categories of finite flat schemes of degrees 1, 3, and 2 over the base of the family. We provide a modular interpretation for these schemes and compute them explicitly in a number of standard families. For two such families the computation is based on a symmetric version of homological projective duality for $\mathbb{P}^2 \times \mathbb{P}^2$ and $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$, which we explain in an appendix.


title: The duality structure gradient descent algorithm: analysis and applications to neural networks

abstract: The training of machine learning models is typically carried out using some form of gradient descent, often with great success. However, non-asymptotic analyses of first-order optimization algorithms typically employ a gradient smoothness assumption (formally, Lipschitz continuity of the gradient) that is too strong to be applicable in the case of deep neural networks. To address this, we propose an algorithm named duality structure gradient descent (DSGD) that is amenable to non-asymptotic performance analysis, under mild assumptions on the training set and network architecture. The algorithm can be viewed as a form of layer-wise coordinate descent, where at each iteration the algorithm chooses one layer of the network to update. The decision of what layer to update is done in a greedy fashion, based on a rigorous lower bound on the improvement of the objective function for each choice of layer. In the analysis, we bound the time required to reach approximate stationary points, in both the deterministic and stochastic settings. The convergence is measured in terms of a parameter-dependent family of norms that is derived from the network architecture and designed to confirm a smoothness-like property on the gradient of the training loss function. We empirically demonstrate the behavior of DSGD in several neural network training scenarios.


title: Using millions of emoji occurrences to learn any-domain representations for detecting sentiment, emotion and sarcasm

abstract: NLP tasks are often limited by scarcity of manually annotated data. In social media sentiment analysis and related tasks, researchers have therefore used binarized emoticons and specific hashtags as forms of distant supervision. Our paper shows that by extending the distant supervision to a more diverse set of noisy labels, the models can learn richer representations. Through emoji prediction on a dataset of 1246 million tweets containing one of 64 common emojis we obtain state-of-the-art performance on 8 benchmark datasets within sentiment, emotion and sarcasm detection using a single pretrained model. Our analyses confirm that the diversity of our emotional labels yield a performance improvement over previous distant supervision approaches.


title: Characterization of cortical motor function and imagery-related cortical activity: Potential application for prehabilitation

abstract: To minimize functional morbidity associated with brain surgery, new preventive approaches (also referred to as "prehabilitation") by using motor-imagery-based computer interfaces (MI-BCIs) can be utilized. To achieve successful MI-BCI performance for prehabilitation purposes, the characteristics of an electrocorticographic (ECoG) signal that is associated with overt motor function ("real movement" - RM) versus covert motor function ("motor imagery" - MI) need to be determined. In our current study, 5 patients with pharmacoresistant epilepsy (2 males, average age 25 years, SD 15), undergoing evaluation for epilepsy surgery participated in both RM and MI tasks. Although the RM- and MI- related ECoG changes had some common features, they also differed in a number of ways, such as location, frequency ranges, signal synchronization and desynchronization. These similarities and differences are discussed in a view of other neuroimaging studies, including magnetoencephalography (MEG) and functional magnetic resonance imaging (fMRI). We emphasize the need for inclusion of a broad spectrum of frequencies in ECoG analysis, when RM- and MI- related activities are concerned.


title: Student perceptions of the value of out-of-class interactions: Attitudes vs. Practice

abstract: From industry to government to academia, attracting and retaining science, technology, engineering, and mathematics majors is recognized as a key element of the 21$^{\text{st}}$ century knowledge economy. The ability to retain students seems to be intimately tied with understanding their immersion into the academic and social system of an institution. For instance, it has been noted that insufficient interactions with peers can lead to a low commitment to the university and, ultimately, affect one's decision about whether to drop out. Since nearly half of first-time students who leave a university by the end of the freshman year never come back to college, the importance of understanding experiences in introductory courses as a means for improving students' persistence is particularly pronounced. We investigate students' experiences in an introductory physics courses, focusing on their self-reported perception of the values of out-of-class collaborations. We find that, even though students consider the out-of-class collaborations to be important for success, it takes a relatively long time before they start practicing collaborative learning.


title: Hyperplane Equipartitions Plus Constraints

abstract: While equivariant methods have seen many fruitful applications in geometric combinatorics, their inability to answer the now settled Topological Tverberg Conjecture has made apparent the need to move beyond the use of Borsuk--Ulam type theorems alone. This impression holds as well for one of the most famous problems in the field, dating back to 1960, which seeks the minimum dimension $d:=\Delta(m;k)$ such that any $m$ mass distributions in $\mathbb{R}^d$ can be simultaneously equipartitioned by $k$ hyperplanes. Precise values of $\Delta(m;k)$ have been obtained in few cases, and the best-known general upper bound $U(m;k)$ typically far exceeds the conjectured-tight lower bound arising from degrees of freedom. Following the "constraint method" of Blagojevi\'c, Frick, and Ziegler originally used for Tverberg-type results and recently to the present problem, we show how the imposition of further conditions -- on the hyperplane arrangements themselves (e.g., orthogonality, prescribed flat containment) and/or the equipartition of additional masses by successively fewer hyperplanes ("cascades") -- yields a variety of optimal results for constrained equipartitions of $m$ mass distributions in dimension $U(m;k)$, including in dimensions \textit{below} $\Delta(m+1;k)$, which are still extractable via equivariance. Among these are families of exact values for full orthogonality as well as cascades which maximize the "fullness" of the equipartition at each stage, including some strengthened equipartitions in dimension $\Delta(m;k)$ itself.


title: Club isomorphisms on higher Aronszajn trees

abstract: We prove the consistency, assuming an ineffable cardinal, that any two normal countably closed $\omega_2$-Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham-Shelah that any two normal $\omega_1$-Aronszajn trees are club isomorphic, which follows from $\textsf{PFA}$. The statement that any two normal countably closed $\omega_2$-Aronszajn trees are club isomorphic implies that there are no $\omega_2$-Suslin trees, so our proof also expands on the method of Laver-Shelah for obtaining the $\omega_2$-Suslin hypothesis.


title: Off-Ramp Coupling Conditions Devoid of Spurious Blocking and Re-Routing

abstract: When modeling vehicular traffic flow on highway networks via macroscopic models, suitable coupling conditions at the network nodes are crucial. Frequently, the evolution of traffic flow on each network edge is described in a lane-averaged fashion using a single-class Lighthill-Whitham-Richards model. At off-ramps, split ratios (i.e., what percentage of traffic exits the highway) are prescribed that can be drawn from historic data. In this situation, classical FIFO coupling conditions yield unrealistic results, in that a clogged off-ramp yields zero flux through the node. As a remedy, non-FIFO conditions have been proposed. However, as we demonstrate here, those lead to spurious re-routing of vehicles. Then, a new coupling model, FIFOQ, is presented that preserves the desirable properties of non-FIFO models, while not leading to any spurious re-routing.


title: The Spectral Gap of Sparse Random Digraphs

abstract: The second largest eigenvalue of a transition matrix $P$ has connections with many properties of the underlying Markov chain, and especially its convergence rate towards the stationary distribution. In this paper, we give an asymptotic upper bound for the second eigenvalue when $P$ is the transition matrix of the simple random walk over a random directed graph with given degree sequence. This is the first result concerning the asymptotic behavior of the spectral gap for sparse non-reversible Markov chains with an unknown stationary distribution. An immediate consequence of our result is a proof of the Alon conjecture for directed regular graphs. Our result is based on a variation of the trace method introduced by Bordenave (2015).


title: End-to-End Neural Segmental Models for Speech Recognition

abstract: Segmental models are an alternative to frame-based models for sequence prediction, where hypothesized path weights are based on entire segment scores rather than a single frame at a time. Neural segmental models are segmental models that use neural network-based weight functions. Neural segmental models have achieved competitive results for speech recognition, and their end-to-end training has been explored in several studies. In this work, we review neural segmental models, which can be viewed as consisting of a neural network-based acoustic encoder and a finite-state transducer decoder. We study end-to-end segmental models with different weight functions, including ones based on frame-level neural classifiers and on segmental recurrent neural networks. We study how reducing the search space size impacts performance under different weight functions. We also compare several loss functions for end-to-end training. Finally, we explore training approaches, including multi-stage vs. end-to-end training and multitask training that combines segmental and frame-level losses.


title: Containment-Division Rings and New Characterizations of Dedekind Domains

abstract: We introduce a new class of commutative rings with unity, namely, the Containment-Division Rings (CDR-s). We show that this notion has a very exceptional origin since it was essentially co-discovered with the qualitative help of a computer program (i.e. The Heterogeneous Tool Set (HETS)). Besides, we show that in a Noetherian setting, the CDR-s are just another way of describing Dedekind domains. Simultaneously, we see that for CDR-s, the Noetherian condition can be replaced by a weaker Divisor Chain Condition.


title: Subcritical Star Formation in Galactic Discs: the role of Dark Matter and Magnetic Field

abstract: We discuss the occurrence of subcritical star formation in the outskirts of some galactic discs and across LSB galaxies, contrary to the picture that star formation happens only when the gas surface density is above a critical threshold density. This raises the question of whether the Toomre Q-criterion for gas alone is valid for correlating the gas distribution to star formation or rather some effective Q-parameter, taking account of components such as stars, dark matter and magnetic fields, is more representative of the correlation between gas instability and star formation activity. As a potential candidate, we investigate the role of dark matter in triggering subcritical star formation, particularly at the outskirts where dark matter is dominant. Indeed, our axisymmetric analysis favours the picture that dark matter contributes to disc instability at the subcritical regime where gas seems stable when dark matter is neglected.


title: Myelin and saltatory conduction

abstract: Essential tutorial on myelin, oligodendrocytes and their functional relevance in the pathophysiology of the brain.


title: They don't look different, but they're not the same: formal resemblance and interpretive disparity in the construction of temporal frequency distributions

abstract: In archaeological and paleontological demographic temporal frequency analysis (dTFA), a handful of protocols for generating temporal frequency distributions (tfds) have emerged based on the aggregation not of single-point timestamps but instead of constituent temporal distributions, including probability summation, kernel density estimation, and human occupation index calculation. While these protocols bear a striking algebraic resemblance to one another, they are motivated by the desire to contain fundamentally different sources of uncertainty, leading to detailed differences in procedure as well as fundamental differences in the interpretation of the resulting tfd. Rather than assuming that one technique can fulfil dual purposes based on its formal resemblance with another, the joint containment of multiple sources of uncertainty therefore warrants the adoption of propagation-of-uncertainty techniques in tfd construction.


title: High-precision $Q_{EC}$-value measurement of the superallowed $\beta^+$ emitter $^{22}$Mg and an evaluation of the $A=22$ isobaric triplet

abstract: A direct $Q_{EC}$-value measurement of the superallowed $\beta^+$ emitter $^{22}$Mg was performed using TRIUMF's Ion Trap for Atomic and Nuclear science (TITAN). The direct ground-state to ground-state atomic mass difference between $^{22}$Mg and $^{22}$Na was determined to be $Q_{EC}=4781.40(22)$~keV, representing the most precise single measurement of this quantity to date. In a continued push towards calculating superallowed isospin-symmetry-breaking (ISB) corrections from first principles, ab-initio shell-model calculations of the $A=22$ IMME are also presented for the first time using the valence-space in-medium similarity renormalization group formalism. With particular starting two- and three-nucleon forces, this approach demonstrates a level of agreement with the experimental data that suggests reliable ab-initio calculations of superallowed ISB corrections are now possible.


title: FRB Strength Distribution Challenges the Cosmological Principle

abstract: The distribution of FRB fluxes and fluences is characterized by a few very bright events and a deficiency of fainter events compared to expectations for a homogeneous space-filling distribution. I define a metric to quantify this, and apply it to the 17 presently known Parkes FRB, products of a comparatively homogeneous search. With 98\% confidence we reject the hypothesis of a homogeneous distribution in Euclidean space. Possible explanations include a reduction of fainter events by cosmological redshifts or evolution or a cosmologically local concentration of events. The former is opposed by the small value of the one known FRB redshift. The latter contradicts the Cosmological Principle, but may be explained if the brighter FRB originate in the Local Supercluster.


title: Wavepackets on de Sitter spacetime

abstract: We construct wavepackets on de Sitter spacetime, with masses consistently defined from the eigenvalues of an irreducible representation of a Casimir element in the universal enveloping algebra of the Lorentz algebra and analyse their asymptotic behaviour. Furthermore, we show that, in the limit as the de Sitter radius tends to infinity, the wavepackets tend to the wavepackets of Minkowski spacetime and the plane waves arising after contraction have support sharply located on the mass shell.


title: Boundary rectifiability and elliptic operators with $W^{1,1}$ coefficients

abstract: We consider second order divergence form elliptic operators with $W^{1,1}$ coefficients, in a uniform domain $\Omega$ with Ahlfors regular boundary. We show that the $A_\infty$ property of the elliptic measure associated to any such operator implies that $\Omega$ is a set of locally finite perimeter whose boundary, $\partial\Omega$, is rectifiable. As a corollary we show that for this type of operators, absolute continuity of the surface measure with respect to the elliptic measure is enough to guarantee rectifiability of the boundary. In the case that the coefficients are continuous we obtain additional information about $\Omega$.


title: A silicon-based microelectrode array with a microdrive for monitoring brainstem regions of freely moving rats

abstract: Objective. Exploring neural activity behind synchronization and time locking in brain circuits is one of the most important tasks in neuroscience. Our goal was to design and characterize a microelectrode array (MEA) system specifically for obtaining in vivo extracellular recordings from three deep-brain areas of freely moving rats, simultaneously. The target areas, the deep mesencephalic reticular-, pedunculopontine tegmental- and pontine reticular nuclei are related to the regulation of sleep-wake cycles. Approach. The three targeted nuclei are collinear, therefore a single-shank MEA was designed in order to contact them. The silicon-based device was equipped with 3*4 recording sites, located according to the geometry of the brain regions. Furthermore, a microdrive was developed to allow fine actuation and post-implantation relocation of the probe. The probe was attached to a rigid printed circuit board, which was fastened to the microdrive. A flexible cable was designed in order to provide not only electronic connection between the probe and the amplifier system, but sufficient freedom for the movements of the probe as well. Main results. The microdrive was stable enough to allow precise electrode targeting into the tissue via a single track. The microelectrodes on the probe were suitable for recording neural activity from the three targeted brainstem areas. Significance. The system offers a robust solution to provide long-term interface between an array of precisely defined microelectrodes and deep-brain areas of a behaving rodent. The microdrive allowed us to fine-tune the probe location and easily scan through the regions of interest.


title: Application of Time Transfer Functions to Gaia's global astrometry - Validation on DPAC simulated Gaia-like observations

abstract: A key objective of the ESA Gaia satellite is the realization of a quasi-inertial reference frame at visual wavelengths by means of global astrometric techniques. This requires an accurate mathematical and numerical modeling of relativistic light propagation, as well as double-blind-like procedures for the internal validation of the results, before they are released to the scientific community at large. Aim of this work is to specialize the Time Transfer Functions (TTF) formalism to the case of the Gaia observer and prove its applicability to the task of Global Sphere Reconstruction (GSR), in anticipation of its inclusion in the GSR system, already featuring the suite of RAMOD models, as an additional semi-external validation of the forthcoming Gaia baseline astrometric solutions. We extend the current GSR framework and software infrastructure (GSR2) to include TTF relativistic observation equations compatible with Gaia's operations. We use simulated data generated by the Gaia Data Reduction and Analysis Consortium (DPAC) to obtain different least-squares estimations of the full stellar spheres and gauge results. These are compared to analogous solutions obtained with the current RAMOD model in GSR2 and to the catalog generated with GREM, the model baselined for Gaia and used to generate the DPAC synthetic data. Linearized least-squares TTF solutions are based on spheres of about 132,000 primary stars uniformly distributed on the sky and simulated observations spanning the entire 5-yr range of Gaia's nominal operational lifetime. The statistical properties of the results compare well with those of GREM. Finally, comparisons to RAMOD@GSR2 solutions confirmed the known lower accuracy of that model and allowed us to establish firm limits on the quality of the linearization point outside of which an iteration for non-linearity is required for its proper convergence.


title: Traveling wave solutions for wave equations with two exponential nonlinearities

abstract: We use a simple method that leads to the integrals involved in obtaining the traveling wave solutions of wave equations with one and two exponential nonlinearities. When the constant term in the integrand is zero, implicit solutions in terms of hypergeometric functions are obtained while when that term is nonzero all the basic traveling wave solutions of Liouville, Tzitzeica and their variants, as well as sine/sinh-Gordon equations with important applications in the phenomenology of nonlinear physics and dynamical systems are found through a detailed study of the corresponding elliptic equations


title: Balancing Explicability and Explanation in Human-Aware Planning

abstract: Human aware planning requires an agent to be aware of the intentions, capabilities and mental model of the human in the loop during its decision process. This can involve generating plans that are explicable to a human observer as well as the ability to provide explanations when such plans cannot be generated. This has led to the notion "multi-model planning" which aim to incorporate effects of human expectation in the deliberative process of a planner - either in the form of explicable task planning or explanations produced thereof. In this paper, we bring these two concepts together and show how a planner can account for both these needs and achieve a trade-off during the plan generation process itself by means of a model-space search method MEGA. This in effect provides a comprehensive perspective of what it means for a decision making agent to be "human-aware" by bringing together existing principles of planning under the umbrella of a single plan generation process. We situate our discussion specifically keeping in mind the recent work on explicable planning and explanation generation, and illustrate these concepts in modified versions of two well known planning domains, as well as a demonstration on a robot involved in a typical search and reconnaissance task with an external supervisor.


title: Performance Measurements of Supercomputing and Cloud Storage Solutions

abstract: Increasing amounts of data from varied sources, particularly in the fields of machine learning and graph analytics, are causing storage requirements to grow rapidly. A variety of technologies exist for storing and sharing these data, ranging from parallel file systems used by supercomputers to distributed block storage systems found in clouds. Relatively few comparative measurements exist to inform decisions about which storage systems are best suited for particular tasks. This work provides these measurements for two of the most popular storage technologies: Lustre and Amazon S3. Lustre is an open-source, high performance, parallel file system used by many of the largest supercomputers in the world. Amazon's Simple Storage Service, or S3, is part of the Amazon Web Services offering, and offers a scalable, distributed option to store and retrieve data from anywhere on the Internet. Parallel processing is essential for achieving high performance on modern storage systems. The performance tests used span the gamut of parallel I/O scenarios, ranging from single-client, single-node Amazon S3 and Lustre performance to a large-scale, multi-client test designed to demonstrate the capabilities of a modern storage appliance under heavy load. These results show that, when parallel I/O is used correctly (i.e., many simultaneous read or write processes), full network bandwidth performance is achievable and ranged from 10 gigabits/s over a 10 GigE S3 connection to 0.35 terabits/s using Lustre on a 1200 port 10 GigE switch. These results demonstrate that S3 is well-suited to sharing vast quantities of data over the Internet, while Lustre is well-suited to processing large quantities of data locally.


title: Entanglement and its relationship to classical dynamics

abstract: We present an analysis of the entangling quantum kicked top focusing on the few qubit case and the initial condition dependence of the time-averaged entanglement $S_Q$ for spin-coherent states. We show a very strong connection between the classical phase space and the initial condition dependence of $S_Q$ even for the extreme case of two spin-$1/2$ qubits. This correlation is not related directly to chaos in the classical dynamics. We introduce a measure of the behavior of a classical trajectory which correlates far better with the entanglement and show that the maps of classical and quantum initial-condition dependence are both organized around the symmetry points of the Hamiltonian. We also show clear (quasi-)periodicity in entanglement as a function of number of kicks and of kick strength.


title: Impact analysis of the transponder time delay on radio-tracking observables

abstract: Accurate tracking of probes is one of the key points of space exploration. Range and Doppler techniques are the most commonly used. In this paper we analyze the impact of the transponder delay, $i.e.$ the processing time between reception and re-emission of a two-way tracking link at the satellite, on tracking observables and on spacecraft orbits. We show that this term, only partially accounted for in the standard formulation of computed space observables, can actually be relevant for future missions with high nominal tracking accuracies or for the re-processing of old missions. We present several applications of our formulation to Earth flybys, the NASA GRAIL and the ESA BepiColombo missions.


title: Comparison of modulational instabilities in full-dispersion shallow water models

abstract: We study the modulational instability of a shallow water model, with and without surface tension, which generalizes the Whitham equation to include bi-directional propagation. Without surface tension, the small amplitude periodic traveling waves are modulationally unstable if their wave number is greater than a critical wave number predicting a Benjamin-Feir type instability and the result qualitatively agrees with the shallow water model in [HP16]. With surface tension, the result qualitatively agrees with the physical problem except for the large surface tension limit which is accurately predicted by the shallow water model in [HP16]. We also compare the results with the Whitham and full-dispersion Camassa-Holm equations.


title: Liouville-Green expansions of exponential form, with an application to modified Bessel functions

abstract: Linear second order differential equations of the form $d^{2}w/dz^{2}-\left \{ {u^{2}f\left( u,z\right) +g\left( z\right) }\right\} w=0$ are studied, where $\left| u\right| \rightarrow \infty $ and $z$ lies in a complex bounded or unbounded domain $\mathbf{D}$. If $f\left( u,z\right) $ and $g\left( z\right) $ are meromorphic in $\mathbf{D}$, and $f\left(u,z\right) $ has no zeros, the classical Liouville-Green/WKBJ approximation provides asymptotic expansions involving the exponential function. The coefficients in these expansions either multiply the exponential, or in an alternative form appear in the exponent. The latter case has applications to the simplification of turning point expansions as well as certain quantum mechanic problems, and new computable error bounds are derived. It is shown how these bounds can be sharpened to provide realistic error estimates, and this is illustrated by an application to modified Bessel functions of complex argument and large positive order. Explicit computable error bounds are also derived for asymptotic expansions for particular solutions of the nonhomogeneous equations of the form $d^{2}w/dz^{2}-\left\{ {u^{2}f\left(z\right) +g\left( z\right) }\right\} w=p\left( z\right)$.


title: Improved Representation Learning for Predicting Commonsense Ontologies

abstract: Recent work in learning ontologies (hierarchical and partially-ordered structures) has leveraged the intrinsic geometry of spaces of learned representations to make predictions that automatically obey complex structural constraints. We explore two extensions of one such model, the order-embedding model for hierarchical relation learning, with an aim towards improved performance on text data for commonsense knowledge representation. Our first model jointly learns ordering relations and non-hierarchical knowledge in the form of raw text. Our second extension exploits the partial order structure of the training data to find long-distance triplet constraints among embeddings which are poorly enforced by the pairwise training procedure. We find that both incorporating free text and augmented training constraints improve over the original order-embedding model and other strong baselines.


title: Measures of maximal entropy for suspension flows over the full shift

abstract: We consider suspension flows with continuous roof function over the full shift $\Sigma$ on a finite alphabet. For any positive entropy subshift of finite type $Y \subset \Sigma$, we explictly construct a roof function such that the measure(s) of maximal entropy for the suspension flow over $\Sigma$ are exactly the lifts of the measure(s) of maximal entropy for $Y$. In the case when $Y$ is transitive, this gives a unique measure of maximal entropy for the flow which is not fully supported. If $Y$ has more than one transitive component, all with the same entropy, this gives explicit examples of suspension flows over the full shift with multiple measures of maximal entropy. This contrasts with the case of a H\"older continuous roof function where it is well known the measure of maximal entropy is unique and fully supported.


title: Bonsai: Synthesis-Based Reasoning for Type Systems

abstract: We describe algorithms for symbolic reasoning about executable models of type systems, supporting three queries intended for designers of type systems. First, we check for type soundness bugs and synthesize a counterexample program if such a bug is found. Second, we compare two versions of a type system, synthesizing a program accepted by one but rejected by the other. Third, we minimize the size of synthesized counterexample programs. These algorithms symbolically evaluate typecheckers and interpreters, producing formulas that characterize the set of programs that fail or succeed in the typechecker and the interpreter. However, symbolically evaluating interpreters poses efficiency challenges, which are caused by having to merge execution paths of the various possible input programs. Our main contribution is the Bonsai tree, a novel symbolic representation of programs and program states which addresses these challenges. Bonsai trees encode complex syntactic information in terms of logical constraints, enabling more efficient merging. We implement these algorithms in the Bonsai tool, an assistant for type system designers. We perform case studies on how Bonsai helps test and explore a variety of type systems. Bonsai efficiently synthesizes counterexamples for soundness bugs that have been inaccessible to automatic tools, and is the first automated tool to find a counterexample for the recently discovered Scala soundness bug SI-9633.


title: Minimal Sum Labeling of Graphs

abstract: A graph $G$ is called a sum graph if there is a so-called sum labeling of $G$, i.e. an injective function $\ell: V(G) \rightarrow \mathbb{N}$ such that for every $u,v\in V(G)$ it holds that $uv\in E(G)$ if and only if there exists a vertex $w\in V(G)$ such that $\ell(u)+\ell(v) = \ell(w)$. We say that sum labeling $\ell$ is minimal if there is a vertex $u\in V(G)$ such that $\ell(u)=1$. In this paper, we show that if we relax the conditions (either allow non-injective labelings or consider graphs with loops) then there are sum graphs without a minimal labeling, which partially answers the question posed by Miller, Ryan and Smyth in 1998.


title: Low-Rank Hidden State Embeddings for Viterbi Sequence Labeling

abstract: In textual information extraction and other sequence labeling tasks it is now common to use recurrent neural networks (such as LSTM) to form rich embedded representations of long-term input co-occurrence patterns. Representation of output co-occurrence patterns is typically limited to a hand-designed graphical model, such as a linear-chain CRF representing short-term Markov dependencies among successive labels. This paper presents a method that learns embedded representations of latent output structure in sequence data. Our model takes the form of a finite-state machine with a large number of latent states per label (a latent variable CRF), where the state-transition matrix is factorized---effectively forming an embedded representation of state-transitions capable of enforcing long-term label dependencies, while supporting exact Viterbi inference over output labels. We demonstrate accuracy improvements and interpretable latent structure in a synthetic but complex task based on CoNLL named entity recognition.


title: Low-energy meson phenomenology with Resonance Chiral Lagrangians

abstract: The low energy behaviour of Quantum Chromodynamics makes unreliable an expansion in terms of its coupling strength, since nothing guarantees the convergence of such expansion. To overcomer such difficulty one resorts to Lattice QCD or Effective Field Theories. In this thesis we compute hadronic processes at low energies, using Resonance Chiral Lagrangians as the effective theory of QCD. The processes we study are important background on the search for Lepton Flavor Violation, Lepton Universality Violation, Lepton Number Violation, Second Class Currents and study the Hadronic light-by-light contribution to the Anomalous Magnetic Moment of the muon. All such processes are of great interest since all of them are to be studied with an increased precision in the very near future by different experiments.


title: Mini-batch stochastic gradient descent with dynamic sample sizes

abstract: We focus on solving constrained convex optimization problems using mini-batch stochastic gradient descent. Dynamic sample size rules are presented which ensure a descent direction with high probability. Empirical results from two applications show superior convergence compared to fixed sample implementations.


title: WAND: A 128-channel, closed-loop, wireless artifact-free neuromodulation device

abstract: Closed-loop neuromodulation systems aim to treat a variety of neurological conditions by dynamically delivering and adjusting therapeutic electrical stimulation in response to a patient's neural state, recorded in real-time. Existing systems are limited by low channel counts, lack of algorithmic flexibility, and distortion of recorded signals from large, persistent stimulation artifacts. Here, we describe a device that enables new research applications requiring high-throughput data streaming, low-latency biosignal processing, and truly simultaneous sensing and stimulation. The Wireless Artifact-free Neuromodulation Device (WAND) is a miniaturized, wireless neural interface capable of recording and stimulating on 128 channels with on-board processing to fully cancel stimulation artifacts, detect neural biomarkers, and automatically adjust stimulation parameters in a closed-loop fashion. It combines custom application specific integrated circuits (ASICs), an on-board FPGA, and a low-power bidirectional radio. We validate wireless, long-term recordings of local field potentials (LFP) and real-time cancellation of stimulation artifacts in a behaving nonhuman primate (NHP). We use WAND to demonstrate a closed-loop stimulation paradigm to disrupt movement preparatory activity during a delayed-reach task in a NHP in vivo. This wireless device, leveraging custom ASICs for both neural recording and electrical stimulation modalities, makes possible a neural interface platform technology to significantly advance both neuroscientific discovery and preclinical investigations of stimulation-based therapeutic interventions.


title: A note on the condition number of the scaled total least squares problem

abstract: In this paper, we consider the explicit expressions of the normwise condition number for the scaled total least squares problem. Some techniques are introduced to simplify the expression of the condition number, and some new results are derived. Based on these new results, new expressions of the condition number for the total least squares problem can be deduced as a special case. New forms of the condition number enjoy some storage and computational advantages. We also proposed three different methods to estimate the condition number. Some numerical experiments are carried out to illustrate the effectiveness of our results.


title: Scaling limit for escapes from unstable equilibria in the vanishing noise limit: nontrivial Jordan block case

abstract: We consider white noise perturbations of a nonlinear dynamical system in the neighborhood of an unstable critical point with linearization given by a Jordan block of full dimension. For the associated exit problem, we study the joint limiting behavior of the exit location and exit time, in the vanishing noise limit. The exit typically happens near one of two special deterministic points associated with the eigendirection, and we obtain several more terms in the expansion for the exit point. The leading correction term is deterministic and logarithmic in the noise magnitude, while the random remainder satisfies a scaling limit.


title: The kinematical behaviour of ORLs and CELs in Galactic PNe

abstract: The kinematics of the plasma in 14 PNe is analysed by measuring the expansion velocities (V$_{exp}$) of different ions as derived from their collisionally excited lines (CELs) and optical recombination lines (ORLs). V$_{exp}$ are analysed as a function of the ionisation potential of ions that at first approximation represents the distance of the ion to the central star. In most cases the kinematics of ORLs is incompatible with the kinematics of CELs at the same ionisation potential, specially if CELs and ORLs of the same ion are considered. In general V$_{exp}$ from ORLs is lower than V$_{exp}$ from CELs indicating that, if the gas is in ionisation equilibrium, ORLs are emitted by a gas located closer to the central star. The velocity field derived from CELs shows a gradient accelerating outwards as predicted from hydrodynamic modelling of PNe ionisation structures. The velocity field derived from ORLs is different, in many cases the velocity gradient is flatter or nonexistent and high and low ionised species present nearly the same V$_{exp}$. In addition, the FWHM(ORLs) is usually smaller that the FWHM(CELs). Our interpretation is that ORLs are mainly emitted by a plasma that coexists with the plasma emitting CELs, but does not fit the ionisation structures predicted by models. Such a plasma should have been ejected in a different event that the plasma emitting CELs.


title: Theta functions for lattices of SU(3) hyper-roots

abstract: We recall the definition of the hyper-roots that can be associated to modules-categories over the fusion categories defined by the choice of a simple Lie group G together with a positive integer k. This definition was proposed in 2000, using another language, by Adrian Ocneanu. If G=SU(2), the obtained hyper-roots coincide with the usual roots for ADE Dynkin diagrams. We consider the associated lattices when G=SU(3) and determine their theta functions in a number of cases; these functions can be expressed as modular forms twisted by appropriate Dirichlet characters.


title: Optically-pumped dynamic nuclear hyperpolarization in $^{13}$C enriched diamond

abstract: We investigate nuclear spin hyperpolarization from nitrogen vacancy centers in isotopically enriched diamonds with $^{13}$C concentrations up to 100%. $^{13}$C enrichment leads to hyperfine structure of the nitrogen vacancy electron spin resonance spectrum and as a result the spectrum of dynamic nuclear polarization. We show that strongly-coupled $^{13}$C spins in the first shell surrounding a nitrogen vacancy center generate resolved hyperfine splittings, but do not act as an intermediary in the transfer of hyperpolarization of bulk nuclear spins. High levels of $^{13}$C enrichment are desirable to increase the efficiency of hyperpolarizaiton for magnetic resonance signal enhancement, imaging contrast agents, and as a platform for quantum sensing and many-body physics.


title: A Unique One-Time Password Table Sequence Pattern Authentication: Application to Bicol University Union of Federated Faculty Association, Inc. (BUUFFAI) eVoting System

abstract: Electronic Voting System (EVS) is a type of voting program that deals primarily with the selection, the casting of votes with embedded security mechanism that detects errors, and the tamper-proof election of results done through the use of an electronic system. It can include optical scan, specialized voting kiosks and Internet voting approach. Most organizations have difficulties when it comes to voting and the Bicol University Union of Federated Faculty Association Incorporated (BUUFFAI) is not an exception. Some of the problems involved include convenience, cost, geographical location of the polling precinct, and voting turnouts. This study extends the scope of the current BUUFFAI eVoting system to address such issues and to eliminate inconvenience both to the faculty voters and the facilitators. This voting scheme used an algorithmic OTP scheme based on table sequence pattern schedule that randomly generates an XY coordinate unique to voters that will be sent to voter registered email address. This study addressed the security requirements and maintained election procedures with confidentiality, integrity and availability.


title: Analyzing Neural MT Search and Model Performance

abstract: In this paper, we offer an in-depth analysis about the modeling and search performance. We address the question if a more complex search algorithm is necessary. Furthermore, we investigate the question if more complex models which might only be applicable during rescoring are promising. By separating the search space and the modeling using $n$-best list reranking, we analyze the influence of both parts of an NMT system independently. By comparing differently performing NMT systems, we show that the better translation is already in the search space of the translation systems with less performance. This results indicate that the current search algorithms are sufficient for the NMT systems. Furthermore, we could show that even a relatively small $n$-best list of $50$ hypotheses already contain notably better translations.


title: On the mod $p$ kernel of the theta operator and Eisenstein series

abstract: Siegel modular forms in the space of the mod $p$ kernel of the theta operator are constructed by the Eisenstein series in some odd-degree cases. Additionally, a similar result in the case of Hermitian modular forms is given.


title: Factorization and criticality in finite XXZ systems of arbitrary spin

abstract: We analyze ground state (GS) factorization in general arrays of spins $s_i$ with $XXZ$ couplings immersed in nonuniform fields. It is shown that an exceptionally degenerate set of completely separable symmetry-breaking GS's can arise for a wide range of field configurations, at a quantum critical point where all GS magnetization plateaus merge. Such configurations include alternating fields as well as zero bulk field solutions with edge fields only and intermediate solutions with zero field at specific sites, valid for $d$-dimensional arrays. The definite magnetization projected GS's at factorization can be analytically determined and depend only on the exchange anisotropies, exhibiting critical entanglement properties. We also show that some factorization compatible field configurations may result in field-induced frustration and nontrivial behavior at strong fields.


title: Lambda beta-decay in-medium

abstract: Under the working hypothesis that the structure of a bound hadron is modified by its interactions with other hadrons, one may expect to see changes in carefully chosen observables. In the light of a recent proposal to measure the axial charge in the strangeness changing beta-decay of a bound Lambda hyperon, we examine the size of the change expected within the quark-meson coupling model. It is predicted to be significant.


title: Metric Reduction in Generalized Geometry and Balanced Topological Field Theories

abstract: The recently established metric reduction in generalized geometry is encoded in 0-dimensional supersymmetric $\sigma$-models. This is an example of balanced topological field theories. To find the geometric content of such models, the reduction of Bismut connections is studies in detail. Generalized K$\ddot{a}$hler reduction is briefly revisited in this formalism and the generalized K$\ddot{a}$hler geometry on the moduli space of instantons on a generalized K$\ddot{a}$hler 4-manifold of even type is thus explained formally in a topological field theoretic way.


title: On $w$-mixtures: Finite convex combinations of prescribed component distributions

abstract: We consider the space of $w$-mixtures which is defined as the set of finite statistical mixtures sharing the same prescribed component distributions closed under convex combinations. The information geometry induced by the Bregman generator set to the Shannon negentropy on this space yields a dually flat space called the mixture family manifold. We show how the Kullback-Leibler (KL) divergence can be recovered from the corresponding Bregman divergence for the negentropy generator: That is, the KL divergence between two $w$-mixtures amounts to a Bregman Divergence (BD) induced by the Shannon negentropy generator. Thus the KL divergence between two Gaussian Mixture Models (GMMs) sharing the same Gaussian components is equivalent to a Bregman divergence. This KL-BD equivalence on a mixture family manifold implies that we can perform optimal KL-averaging aggregation of $w$-mixtures without information loss. More generally, we prove that the statistical skew Jensen-Shannon divergence between $w$-mixtures is equivalent to a skew Jensen divergence between their corresponding parameters. Finally, we state several properties, divergence identities, and inequalities relating to $w$-mixtures.


title: Truncation scheme of time-dependent density-matrix approach II

abstract: A truncation scheme of the Bogoliubov-Born-Green-Kirkwood-Yvon hierarchy for reduced density matrices, where a three-body density matrix is approximated by two-body density matrices, is improved to take into account a normalization effect. The truncation scheme is tested for the Lipkin model. It is shown that the obtained results are in good agreement with the exact solutions.


title: The Formation of Rapidly Rotating Black Holes in High Mass X-ray Binaries

abstract: High mass X-ray binaries (HMXRBs) like Cygnus X-1, host some of the most rapidly spinning black holes (BHs) known to date, reaching spin parameters $a \gtrsim 0.84$. However, there are several effects that can severely limit the maximum BH spin parameter that could be obtained from direct collapse, such as tidal synchronization, magnetic core-envelope coupling and mass loss. Here we propose an alternative scenario where the BH is produced by a {\it failed} supernova (SN) explosion that is unable to unbind the stellar progenitor. A large amount of fallback material ensues, whose interaction with the secondary naturally increases its overall angular momentum content, and therefore, the spin of the BH when accreted. Through SPH hydrodynamic simulations, we studied the unsuccessful explosion of a $8M_{\odot }$ pre-SN star in a close binary with a $12M_{\odot}$ companion with an orbital period of $\approx1.2$ days, finding that it is possible to obtain a BH with a high spin parameter $a\gtrsim0.8$ even when the expected spin parameter from direct collapse is $a \lesssim 0.3$. This scenario also naturally explains the atmospheric metal pollution observed in HMXRB stellar companions.


title: Tropical hyperelliptic curves in the plane

abstract: Abstractly, tropical hyperelliptic curves are metric graphs that admit a two-to-one harmonic morphism to a tree. They also appear as embedded tropical curves in the plane arising from triangulations of polygons with all interior lattice points collinear. We prove that hyperelliptic graphs can only arise from such polygons. Along the way we will prove certain graphs do not embed tropically in the plane due to entirely combinatorial obstructions, regardless of whether their metric is actually hyperelliptic.


title: Fabrication of tetragonal FeSe - FeS alloy films with high sulfur contents by alternate deposition

abstract: We report the synthesis of tetragonal $\mathrm{FeS}_x\mathrm{Se}_{1-x}$ films ($x \leq 0.78$) by pulsed-laser deposition. To fabricate the tetragonal alloy films with tetragonal FeSe and hexagonal FeS targets, we adopted an alternate deposition technique with FeSe buffer layer on MgO(001). The overall film composition is controlled by the thickness ratio of FeS / FeSe layers. The out-of-plane lattice parameter of the films follows Vegard's law, demonstrating homogeneous alloying by inter-diffusion. The sulfur solid solubility reaches $x = 0.78$ in the $\mathrm{FeS}_x\mathrm{Se}_{1-x}$ films, which is by far larger than $x \approx 0.40$ in bulk governed by the tetragonal phase instability.


title: Automatic 3D Cardiovascular MR Segmentation with Densely-Connected Volumetric ConvNets

abstract: Automatic and accurate whole-heart and great vessel segmentation from 3D cardiac magnetic resonance (MR) images plays an important role in the computer-assisted diagnosis and treatment of cardiovascular disease. However, this task is very challenging due to ambiguous cardiac borders and large anatomical variations among different subjects. In this paper, we propose a novel densely-connected volumetric convolutional neural network, referred as DenseVoxNet, to automatically segment the cardiac and vascular structures from 3D cardiac MR images. The DenseVoxNet adopts the 3D fully convolutional architecture for effective volume-to-volume prediction. From the learning perspective, our DenseVoxNet has three compelling advantages. First, it preserves the maximum information flow between layers by a densely-connected mechanism and hence eases the network training. Second, it avoids learning redundant feature maps by encouraging feature reuse and hence requires fewer parameters to achieve high performance, which is essential for medical applications with limited training data. Third, we add auxiliary side paths to strengthen the gradient propagation and stabilize the learning process. We demonstrate the effectiveness of DenseVoxNet by comparing it with the state-of-the-art approaches from HVSMR 2016 challenge in conjunction with MICCAI, and our network achieves the best dice coefficient. We also show that our network can achieve better performance than other 3D ConvNets but with fewer parameters.


title: Identification of Essential Proteins Using Induced Stars in Protein-Protein Interaction Networks

abstract: In this work, we propose a novel centrality metric, referred to as star centrality, which incorporates information from the closed neighborhood of a node, rather than solely from the node itself, when calculating its topological importance. More specifically, we focus on degree centrality and show that in the complex protein-protein interaction networks it is a naive metric that can lead to misclassifying protein importance. For our extension of degree centrality when considering stars, we derive its computational complexity, provide a mathematical formulation, and propose two approximation algorithms that are shown to be efficient in practice. We portray the success of this new metric in protein-protein interaction networks when predicting protein essentiality in several organisms, including the well-studied Saccharomyces cerevisiae, Helicobacter pylori, and Caenorhabditis elegans, where star centrality is shown to significantly outperform other nodal centrality metrics at detecting essential proteins. We also analyze the average and worst case performance of the two approximation algorithms in practice, and show that they are viable options for computing star centrality in very large-scale protein-protein interaction networks, such as the human proteome, where exact methodologies are bound to be time and memory intensive.


title: The First Photometric Study of the Short-period Shallow Contact System LO Comae

abstract: In this paper, the first complete photometric light curves in the B, V, and R passbands for an eclipsing binary LO Com are presented, and the photometric solution for the LO Com is derived by analyzing these light curves by using the Wilson and Devinney code. From the photometric solution, it is found that the LO Com is a W-type W UMa binary with a mass ratio of q={m}2/{m}1=2.478 and a contact degree of f=(3.2+/- 0.25) % . By combining the two new minimum times with those published earlier in the literature, we have found that the (O - C) curve shows a downward parabolic variation corresponding to a long-term decrease in the orbital period with a rate of {d}P/{d}t=-1.18*{10}-7 days yr-1. This long-term decrease in its orbital period may be caused by mass transfer from the more massive component to the less massive one.


title: Line Segment Covering of Cells in Arrangements

abstract: Given a collection $L$ of line segments, we consider its arrangement and study the problem of covering all cells with line segments of $L$. That is, we want to find a minimum-size set $L'$ of line segments such that every cell in the arrangement has a line from $L'$ defining its boundary. We show that the problem is NP-hard, even when all segments are axis-aligned. In fact, the problem is still NP-hard when we only need to cover rectangular cells of the arrangement. For the latter problem we also show that it is fixed parameter tractable with respect to the size of the optimal solution. Finally we provide a linear time algorithm for the case where cells of the arrangement are created by recursively subdividing a rectangle using horizontal and vertical cutting segments.


title: Kernalised Multi-resolution Convnet for Visual Tracking

abstract: Visual tracking is intrinsically a temporal problem. Discriminative Correlation Filters (DCF) have demonstrated excellent performance for high-speed generic visual object tracking. Built upon their seminal work, there has been a plethora of recent improvements relying on convolutional neural network (CNN) pretrained on ImageNet as a feature extractor for visual tracking. However, most of their works relying on ad hoc analysis to design the weights for different layers either using boosting or hedging techniques as an ensemble tracker. In this paper, we go beyond the conventional DCF framework and propose a Kernalised Multi-resolution Convnet (KMC) formulation that utilises hierarchical response maps to directly output the target movement. When directly deployed the learnt network to predict the unseen challenging UAV tracking dataset without any weight adjustment, the proposed model consistently achieves excellent tracking performance. Moreover, the transfered multi-reslution CNN renders it possible to be integrated into the RNN temporal learning framework, therefore opening the door on the end-to-end temporal deep learning (TDL) for visual tracking.


title: Emerging Topics in Internet Technology: A Complex Networks Approach

abstract: Communication networks, in general, and internet technology, in particular, is a fast-evolving area of research. While it is important to keep track of emerging trends in this domain, it is such a fast-growing area that it can be very difficult to keep track of literature. The problem is compounded by the fast-growing number of citation databases. While other databases are gradually indexing a large set of reliable content, currently the Web of Science represents one of the most highly valued databases. Research indexed in this database is known to highlight key advancements in any domain. In this paper, we present a Complex Network-based analytical approach to analyze recent data from the Web of Science in communication networks. Taking bibliographic records from the recent period of 2014 to 2017, we model and analyze complex scientometric networks. Using bibliometric coupling applied over complex citation data we present answers to co-citation patterns of documents, co-occurrence patterns of terms, as well as the most influential articles, among others, We also present key pivot points and intellectual turning points. Complex network analysis of the data demonstrates a considerably high level of interest in two key clusters labeled descriptively as "social networks" and "computer networks". In addition, key themes in highly cited literature were clearly identified as "communication networks," "social networks," and "complex networks".


title: Common mechanism of thermodynamic and mechanical origin for ageing and crystallisation of glasses

abstract: The glassy state is known to undergo slow structural relaxation, where the system progressively explores lower free-energy minima which are either amorphous (ageing) or crystalline (devitrification). Recently, there is growing interest in the unusual intermittent collective displacements of a large number of particles known as "avalanches". However, their structural origin and dynamics are yet to be fully addressed. Here, we study hard-sphere glasses which either crystallise or age depending on the degree of size polydispersity, and show that a small number of particles are thermodynamically driven to rearrange in regions of low density and bond orientational order. This causes a transient loss of mechanical equilibrium which facilitates a large cascade of motion. Combined with previously identified phenomenology, we have a complete kinetic pathway for structural change which is common to both ageing and crystallisation. Furthermore, this suggests that transient force balance is what distinguishes glasses from supercooled liquids.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: A Novel Neural Network Model Specified for Representing Logical Relations

abstract: With computers to handle more and more complicated things in variable environments, it becomes an urgent requirement that the artificial intelligence has the ability of automatic judging and deciding according to numerous specific conditions so as to deal with the complicated and variable cases. ANNs inspired by brain is a good candidate. However, most of current numeric ANNs are not good at representing logical relations because these models still try to represent logical relations in the form of ratio based on functional approximation. On the other hand, researchers have been trying to design novel neural network models to make neural network model represent logical relations. In this work, a novel neural network model specified for representing logical relations is proposed and applied. New neurons and multiple kinds of links are defined. Inhibitory links are introduced besides exciting links. Different from current numeric ANNs, one end of an inhibitory link connects an exciting link rather than a neuron. Inhibitory links inhibit the connected exciting links conditionally to make this neural network model represent logical relations correctly. This model can simulate the operations of Boolean logic gates, and construct complex logical relations with the advantages of simpler neural network structures than recent works in this area. This work provides some ideas to make neural networks represent logical relations more directly and efficiently, and the model could be used as the complement to current numeric ANN to deal with logical issues and expand the application areas of ANN.


title: Joint Transmission Map Estimation and Dehazing using Deep Networks

abstract: Single image haze removal is an extremely challenging problem due to its inherent ill-posed nature. Several prior-based and learning-based methods have been proposed in the literature to solve this problem and they have achieved superior results. However, most of the existing methods assume constant atmospheric light model and tend to follow a two-step procedure involving prior-based methods for estimating transmission map followed by calculation of dehazed image using the closed form solution. In this paper, we relax the constant atmospheric light assumption and propose a novel unified single image dehazing network that jointly estimates the transmission map and performs dehazing. In other words, our new approach provides an end-to-end learning framework, where the inherent transmission map and dehazed result are learned directly from the loss function. Extensive experiments on synthetic and real datasets with challenging hazy images demonstrate that the proposed method achieves significant improvements over the state-of-the-art methods.


title: Excluded $t$-factors in Bipartite Graphs: Unified Framework for Nonbipartite Matchings, Restricted 2-matchings, and Matroids

abstract: We propose a framework for optimal $t$-matchings excluding the prescribed $t$-factors in bipartite graphs. The proposed framework is a generalization of the nonbipartite matching problem and includes several problems, such as the triangle-free $2$-matching, square-free $2$-matching, even factor, and arborescence problems. In this paper, we demonstrate a unified understanding of these problems by commonly extending previous important results. We solve our problem under a reasonable assumption, which is sufficiently broad to include the specific problems listed above. We first present a min-max theorem and a combinatorial algorithm for the unweighted version. We then provide a linear programming formulation with dual integrality and a primal-dual algorithm for the weighted version. A key ingredient of the proposed algorithm is a technique to shrink forbidden structures, which corresponds to the techniques of shrinking odd cycles, triangles, squares, and directed cycles in Edmonds' blossom algorithm, a triangle-free $2$-matching algorithm, a square-free $2$-matching algorithm, and an arborescence algorithm, respectively.


title: A Learning-based Framework for Hybrid Depth-from-Defocus and Stereo Matching

abstract: Depth from defocus (DfD) and stereo matching are two most studied passive depth sensing schemes. The techniques are essentially complementary: DfD can robustly handle repetitive textures that are problematic for stereo matching whereas stereo matching is insensitive to defocus blurs and can handle large depth range. In this paper, we present a unified learning-based technique to conduct hybrid DfD and stereo matching. Our input is image triplets: a stereo pair and a defocused image of one of the stereo views. We first apply depth-guided light field rendering to construct a comprehensive training dataset for such hybrid sensing setups. Next, we adopt the hourglass network architecture to separately conduct depth inference from DfD and stereo. Finally, we exploit different connection methods between the two separate networks for integrating them into a unified solution to produce high fidelity 3D disparity maps. Comprehensive experiments on real and synthetic data show that our new learning-based hybrid 3D sensing technique can significantly improve accuracy and robustness in 3D reconstruction.


title: A Simple Loss Function for Improving the Convergence and Accuracy of Visual Question Answering Models

abstract: Visual question answering as recently proposed multimodal learning task has enjoyed wide attention from the deep learning community. Lately, the focus was on developing new representation fusion methods and attention mechanisms to achieve superior performance. On the other hand, very little focus has been put on the models' loss function, arguably one of the most important aspects of training deep learning models. The prevailing practice is to use cross entropy loss function that penalizes the probability given to all the answers in the vocabulary except the single most common answer for the particular question. However, the VQA evaluation function compares the predicted answer with all the ground-truth answers for the given question and if there is a matching, a partial point is given. This causes a discrepancy between the model's cross entropy loss and the model's accuracy as calculated by the VQA evaluation function. In this work, we propose a novel loss, termed as soft cross entropy, that considers all ground-truth answers and thus reduces the loss-accuracy discrepancy. The proposed loss leads to an improved training convergence of VQA models and an increase in accuracy as much as 1.6%.


title: Projecting onto the intersection of a cone and a sphere

abstract: The projection onto the intersection of sets generally does not allow for a closed form even when the individual projection operators have explicit descriptions. In this work, we systematically analyze the projection onto the intersection of a cone with either a ball or a sphere. Several cases are provided where the projector is available in closed form. Various examples based on finitely generated cones, the Lorentz cone, and the the cone of positive semidefinite matrices are presented. The usefulness of our formulae is illustrated by numerical experiments for determining copositivity of real symmetric matrices.


title: A Software-Defined Multi-Element VLC Architecture

abstract: In the modern era of radio frequency (RF) spectrum crunch, visible light communication (VLC) is a recent and promising alternative technology that operates at the visible light spectrum. Thanks to its unlicensed and large bandwidth, VLC can deliver high throughput, better energy efficiency, and low cost data communications. In this article, a hybrid RF/VLC architecture is considered that can simultaneously provide light- ing and communication coverage across a room. Considered architecture involves a novel multi-element hemispherical bulb design, which can transmit multiple data streams over light emitting diode (LED) modules. Simulations considering various VLC transmitter configurations and topologies show that good link quality and high spatial reuse can be maintained in typical indoor communication scenarios.


title: Geometric Convolutional Neural Network for Analyzing Surface-Based Neuroimaging Data

abstract: The conventional CNN, widely used for two-dimensional images, however, is not directly applicable to non-regular geometric surface, such as a cortical thickness. We propose Geometric CNN (gCNN) that deals with data representation over a spherical surface and renders pattern recognition in a multi-shell mesh structure. The classification accuracy for sex was significantly higher than that of SVM and image based CNN. It only uses MRI thickness data to classify gender but this method can expand to classify disease from other MRI or fMRI data


title: Hidden Physics Models: Machine Learning of Nonlinear Partial Differential Equations

abstract: While there is currently a lot of enthusiasm about "big data", useful data is usually "small" and expensive to acquire. In this paper, we present a new paradigm of learning partial differential equations from {\em small} data. In particular, we introduce \emph{hidden physics models}, which are essentially data-efficient learning machines capable of leveraging the underlying laws of physics, expressed by time dependent and nonlinear partial differential equations, to extract patterns from high-dimensional data generated from experiments. The proposed methodology may be applied to the problem of learning, system identification, or data-driven discovery of partial differential equations. Our framework relies on Gaussian processes, a powerful tool for probabilistic inference over functions, that enables us to strike a balance between model complexity and data fitting. The effectiveness of the proposed approach is demonstrated through a variety of canonical problems, spanning a number of scientific domains, including the Navier-Stokes, Schr\"odinger, Kuramoto-Sivashinsky, and time dependent linear fractional equations. The methodology provides a promising new direction for harnessing the long-standing developments of classical methods in applied mathematics and mathematical physics to design learning machines with the ability to operate in complex domains without requiring large quantities of data.


title: Implications of the Measured Angular Anisotropy at the Hidden Order Transition of URu2Si2

abstract: The heavy fermion compound URu2Si2 continues to attract great interest due to the long- unidentified nature of the hidden order that develops below 17.5K. Here we discuss the implications of an angular survey of the linear and nonlinear susceptibility of URu2Si2 in the vicinity of the hidden order transition. While the anisotropic nature of spin fluctuations and low-temperature quasiparticles was previously established, our recent results suggest that the order parameter itself has intrinsic Ising anisotropy, and that moreover this anisotropy extends far above the hidden order transition. Consistency checks and subsequent questions for future experimental and theoretical studies of hidden order are discussed.


title: A posteriori error estimation for finite element approximations of a PDE-constrained optimization problem in fluid dynamics

abstract: We derive globally reliable a posteriori error estimators for a PDE-constrained optimization problem involving linear models in fluid dynamics as state equation; control constraints are also considered. The corresponding local error indicators are locally efficient. The assumptions under which we perform the analysis are such that they can be satisfied for a wide variety of stabilized finite element methods as well as for standard finite element methods. When stabilized methods are considered, no a priori relation between the stabilization terms for the state and adjoint equations is required. If a lower bound for the inf-sup constant is available, a posteriori error estimators that are fully computable and provide guaranteed upper bounds on the norm of the error can be obtained. We illustrate the theory with numerical examples.


title: Boundary determination of the Lam\'e moduli for the isotropic elasticity system

abstract: We consider the inverse boundary value problem of determining the Lam\'e moduli of an isotropic, static elasticity equations of system at the boundary from the localized Dirichlet-to-Neumann map. Assuming appropriate local regularity assumptions as weak as possible on the Lam\'e moduli and on the boundary, we give explicit pointwise reconstruction formulae of the Lam\'e moduli and their higher order derivatives at the boundary from the localized Dirichlet-to-Neumann map.


title: Ejecta cloud from the AIDA space project kinetic impact on the secondary of a binary asteroid: II. fates and evolutionary dependencies

abstract: This paper presents a quantitative study of the evolution of the ejecta cloud released from a hypervelocity impact on a binary asteroid. We performed numerical simulations of the post-impact dynamics of the ejecta cloud in the framework of the current mission scenario of AIDA mission project. A grid search of launching sites of ejecta was defined over the globe of Didymoon, and considering a wide range of possible ejection speeds, we determined the dependency of ejecta fate on launching sites (projectile impact sites) and speeds. This range allows us to track all the complex cases that include different types of dynamical fates. Two major mechanisms are found to be working broadly during the post-ejection evolution of the ejecta cloud: 1) ejecta on mean motion resonance orbits with Didymoon produce long-term quasi-periodic showers onto Didymoon over at least a couple of weeks after the projectile impact, 2) ejecta on non-resonant orbits produce a rapid and high re-accretion flux. This rapid and high flux occurs just once because ejecta on such orbits leave the system unless they experience a collision during their first encounter. For the second part of this study, we performed full-scale simulations of the ejecta cloud released from 6 hypothetical impact sites. We considered two kinds of material composing Didymoon's subsurface and then combined a power-law size distribution of the ejecta with an ejection speed distribution. We find that the ejecta cloud evolution can be divided in two periods. It starts with a first violent period (<10 hr) with fast re-accretion or ejection from the system. A second period is found to be more sensitive to the launching site than the first one. During this second period, ejecta will either re-accrete or being ejected from the system, depending both on their sizes and on their average survival time in close proximity of the binary components.


title: Strongly exchange-coupled and surface-state-modulated magnetization dynamics in Bi2Se3/YIG heterostructures

abstract: We report strong interfacial exchange coupling in Bi2Se3/yttrium iron garnet (YIG) bilayers manifested as large in-plane interfacial magnetic anisotropy (IMA) and enhancement of damping probed by ferromagnetic resonance (FMR). The IMA and spin mixing conductance reached a maximum when Bi2Se3 was around 6 quintuple-layer (QL) thick. The unconventional Bi2Se3 thickness dependence of the IMA and spin mixing conductance are correlated with the evolution of surface band structure of Bi2Se3, indicating that topological surface states play an important role in the magnetization dynamics of YIG. Temperature-dependent FMR of Bi2Se3/YIG revealed signatures of magnetic proximity effect of $T_c$ as high as 180 K, and an effective field parallel to the YIG magnetization direction at low temperature. Our study sheds light on the effects of topological insulators on magnetization dynamics, essential for development of TI-based spintronic devices.


title: Primordial protostars accreting beyond the $\Omega\Gamma$-limit: radiation effect around the star-disk boundary

abstract: We consider whether the maximum mass of first stars is imposed by the protostellar spin, i.e., by the so-called $\Omega\Gamma$-limit, which requires the sum of the radiation and centrifugal forces at the stellar surface be smaller than the inward pull of the gravity. Once the accreting protostar reaches such a marginal state, the star cannot spin up more and is not allowed to accrete more gas with inward angular momentum flux. So far, however, the effect of stellar radiation on the structure of the accretion disk has not been properly taken into account in discussing the effect of $\Omega\Gamma$-limit on the first star formation. Here, we obtain a series of the steady accretion-disk solutions considering such effect and find solutions without net angular momentum influx to the stars with arbitrary rotation rates, in addition to those with finite angular momentum flows. The accretion of positive angular momentum flows pushes the star beyond the $\Omega\Gamma$-limit, which is allowed only with the external pressure provided by the circumstellar disk. On the other hand, the accretion with no net angular momentum influx does not result in the spin-up of the star. Thus, the existence of the solution with no net angular momentum influx indicates that the protostars can keep growing in mass by accretion even after they reach the $\Omega\Gamma$-limit.


title: Some applications of conditional expectations to convergence for the quantum Gromov-Hausdorff propinquity

abstract: We prove that all the compact metric spaces are in the closure of the class of full matrix algebras for the quantum Gromov-Hausdorff propinquity. We also show that given an action of a compact metrizable group G on a quasi-Leibniz compact quantum metric space (A,Lip), the function associating any closed subgroup of G group to its fixed point C*-subalgebra in A is continuous from the topology of the Hausdorff distance to the topology induced by the propinquity. Our techniques are inspired from our work on AF algebras as quantum metric spaces, as they are based on the use of various types of conditional expectations.


title: Long-distance excitation of nitrogen-vacancy centers in diamond via surface spin waves

abstract: Coherent communication over mesoscale distances is a necessary condition for the application of solid-state spin qubits to scalable quantum information processing. Among other routes under study, one possibility entails the generation of magnetostatic surface spin waves (MSSW) dipolarly coupled to shallow paramagnetic defects in wide-bandgap semiconductors. As an initial step in this direction, here we make use of room-temperature MSSWs to mediate the interaction between the microwave field from an antenna and the spin of a nitrogen-vacancy (NV) center in diamond. We show that this transport spans distances exceeding 3 mm, a manifestation of the MSSW robustness and long diffusion length. Using the NV spin as a local sensor, we find that the MSSW amplitude grows linearly with the applied microwave power, suggesting this approach could be extended to amplify the signal from neighboring spin qubits by several orders of magnitude.


title: Construction of triangulated categories of motives using the localization property

abstract: Using the localization property, we construct a triangulated category of motives over quasi-projective T-schemes for any coefficient where T is a noetherian separated scheme, and we prove the Grothendieck six operations formalism. We also construct integral \'etale realization of motives.


title: Controllable Generative Adversarial Network

abstract: Recently introduced generative adversarial network (GAN) has been shown numerous promising results to generate realistic samples. The essential task of GAN is to control the features of samples generated from a random distribution. While the current GAN structures, such as conditional GAN, successfully generate samples with desired major features, they often fail to produce detailed features that bring specific differences among samples. To overcome this limitation, here we propose a controllable GAN (ControlGAN) structure. By separating a feature classifier from a discriminator, the generator of ControlGAN is designed to learn generating synthetic samples with the specific detailed features. Evaluated with multiple image datasets, ControlGAN shows a power to generate improved samples with well-controlled features. Furthermore, we demonstrate that ControlGAN can generate intermediate features and opposite features for interpolated and extrapolated input labels that are not used in the training process. It implies that ControlGAN can significantly contribute to the variety of generated samples.


title: Discrete Modified Projection Method for Urysohn Integral Equations with Smooth Kernels

abstract: Approximate solutions of linear and nonlinear integral equations using methods related to an interpolatory projection involve many integrals which need to be evaluated using a numerical quadrature formula. In this paper, we consider discrete versions of the modified projection method and of the iterated modified projection methodfor solution of a Urysohn integral equation with a smooth kernel. For $r \geq 1,$ a space of piecewise polynomials of degree less than or equal to r - 1 with respect to an uniform partition is chosen to be the approximating space and the projection is chosen to be the interpolatory projection at r Gauss points. The orders of convergence which we obtain for these discrete versions indicate the choice of numerical quadrature which preserves the orders of convergence. Numerical results are given for a specific example.


title: Topological Larkin-Ovchinnikov phase and Majorana zero mode chain in bilayer superconducting topological insulator films

abstract: We theoretically study bilayer superconducting topological insulator film, in which superconductivity exists for both top and bottom surface states. We show that an in-plane magnetic field can drive the system into Larkin-Ovchinnikov (LO) phase, where electrons are paired with finite momenta. The LO phase is topologically non-trivial and characterized by a Z 2 topological invariant, leading to a Majorana zero mode chain along the edge perpendicular to in-plane magnetic fields.


title: Exact Tensor Completion from Sparsely Corrupted Observations via Convex Optimization

abstract: This paper conducts a rigorous analysis for provable estimation of multidimensional arrays, in particular third-order tensors, from a random subset of its corrupted entries. Our study rests heavily on a recently proposed tensor algebraic framework in which we can obtain tensor singular value decomposition (t-SVD) that is similar to the SVD for matrices, and define a new notion of tensor rank referred to as the tubal rank. We prove that by simply solving a convex program, which minimizes a weighted combination of tubal nuclear norm, a convex surrogate for the tubal rank, and the $\ell_1$-norm, one can recover an incoherent tensor exactly with overwhelming probability, provided that its tubal rank is not too large and that the corruptions are reasonably sparse. Interestingly, our result includes the recovery guarantees for the problems of tensor completion (TC) and tensor principal component analysis (TRPCA) under the same algebraic setup as special cases. An alternating direction method of multipliers (ADMM) algorithm is presented to solve this optimization problem. Numerical experiments verify our theory and real-world applications demonstrate the effectiveness of our algorithm.


title: Phase Retrieval From Binary Measurements

abstract: We consider the problem of signal reconstruction from quadratic measurements that are encoded as +1 or -1 depending on whether they exceed a predetermined positive threshold or not. Binary measurements are fast to acquire and inexpensive in terms of hardware. We formulate the problem of signal reconstruction using a consistency criterion, wherein one seeks to find a signal that is in agreement with the measurements. To enforce consistency, we construct a convex cost using a one-sided quadratic penalty and minimize it using an iterative accelerated projected gradient-descent (APGD) technique. The PGD scheme reduces the cost function in each iteration, whereas incorporating momentum into PGD, notwithstanding the lack of such a descent property, exhibits faster convergence than PGD empirically. We refer to the resulting algorithm as binary phase retrieval (BPR). Considering additive white noise contamination prior to quantization, we also derive the Cramer-Rao Bound (CRB) for the binary encoding model. Experimental results demonstrate that the BPR algorithm yields a signal-to- reconstruction error ratio (SRER) of approximately 25 dB in the absence of noise. In the presence of noise prior to quantization, the SRER is within 2 to 3 dB of the CRB.


title: Recovering a MOND-like acceleration law in mimetic gravity

abstract: We reconsider the recently proposed mimetic gravity, focusing in particular on whether the theory is able to reproduce the inferred flat rotation curves of galaxies. We extend the theory by adding a non-minimal coupling between matter and mimetic field. Such coupling leads to the appearance of an extra force which renders the motion of test particles non-geodesic. By studying the weak field limit of the resulting equations of motion, we demonstrate that in the Newtonian limit the acceleration law induced by the non-minimal coupling reduces to a Modified Newtonian Dynamics (MOND)-like one. In this way, it is possible to reproduce the successes of MOND, namely the explanation for the flat galactic rotation curves and the Tully-Fisher relation, within the framework of mimetic gravity, without the need for particle dark matter. The scale-dependence of the recovered acceleration scale opens up the possibility of addressing the missing mass problem not only on galactic but also on cluster scales: we defer a full study of this issue, together with a complete analysis of fits to spiral galaxy rotation curves, to an upcoming companion paper.


title: Structural analysis of rubble-pile asteroids applied to collisional evolution

abstract: Solar system small bodies come in a wide variety of shapes and sizes, which are achieved following very individual evolutional paths through billions of years. This paper focuses on the reshaping process of rubble-pile asteroids driven by meteorite impacts. In our study, numerous possible equilibrium configurations are obtained via Monte Carlo simulation, and the structural stability of these configurations is determined via eigen analysis of the geometric constructions. The eigen decomposition reveals a connection between the cluster's reactions and the types of external disturbance. Numerical simulations are performed to verify the analytical results. The gravitational N-body code pkdgrav is used to mimic the responses of the cluster under intermittent non-dispersive impacts. We statistically confirm that the stability index, the total gravitational potential and the volume of inertia ellipsoid show consistent tendency of variation. A common regime is found in which the clusters tend towards crystallization under intermittent impacts, i.e., only the configurations with high structural stability survive under the external disturbances. The results suggest the trivial non-disruptive impacts might play an important role in the rearrangement of the constituent blocks, which may strengthen these rubble piles and help to build a robust structure under impacts of similar magnitude. The final part of this study consists of systematic simulations over two parameters, the projectile momentum and the rotational speed of the cluster. The results show a critical value exists for the projectile momentum, as predicted by theory, below which all clusters become responseless to external disturbances; and the rotation proves to be significant for it exhibits an "enhancing" effect on loose-packed clusters, which coincides with the observation that several fast-spinning asteroids have low bulk densities.


title: Classifying Exoplanets with Gaussian Mixture Model

abstract: Recently, Odrzywolek and Rafelski (arXiv:1612.03556) have found three distinct categories of exoplanets, when they are classified based on density. We first carry out a similar classification of exoplanets according to their density using the Gaussian Mixture Model, followed by information theoretic criterion (AIC and BIC) to determine the optimum number of components. Such a one-dimensional classification favors two components using AIC and three using BIC, but the statistical significance from both the tests is not significant enough to decisively pick the best model between two and three components. We then extend this GMM-based classification to two dimensions by using both the density and the Earth similarity index (arXiv:1702.03678), which is a measure of how similar each planet is compared to the Earth. For this two-dimensional classification, both AIC and BIC provide decisive evidence in favor of three components.

categories: astro-ph.IM astro-ph.EP astro-ph.HE physics.data-an


title: Optimal Task Scheduling in Communication-Constrained Mobile Edge Computing Systems for Wireless Virtual Reality

abstract: Mobile edge computing (MEC) is expected to be an effective solution to deliver 360-degree virtual reality (VR) videos over wireless networks. In contrast to previous computation-constrained MEC framework, which reduces the computation-resource consumption at the mobile VR device by increasing the communication-resource consumption, we develop a communications-constrained MEC framework to reduce communication-resource consumption by increasing the computation-resource consumption and exploiting the caching resources at the mobile VR device in this paper. Specifically, according to the task modularization, the MEC server can only deliver the components which have not been stored in the VR device, and then the VR device uses the received components and the corresponding cached components to construct the task, resulting in low communication-resource consumption but high delay. The MEC server can also compute the task by itself to reduce the delay, however, it consumes more communication-resource due to the delivery of entire task. Therefore, we then propose a task scheduling strategy to decide which computation model should the MEC server operates, in order to minimize the communication-resource consumption under the delay constraint. Finally, we discuss the tradeoffs between communications, computing, and caching in the proposed system.


title: CT sinogram-consistency learning for metal-induced beam hardening correction

abstract: This paper proposes a sinogram consistency learning method to deal with beam-hardening related artifacts in polychromatic computerized tomography (CT). The presence of highly attenuating materials in the scan field causes an inconsistent sinogram, that does not match the range space of the Radon transform. When the mismatched data are entered into the range space during CT reconstruction, streaking and shading artifacts are generated owing to the inherent nature of the inverse Radon transform. The proposed learning method aims to repair inconsistent sinograms by removing the primary metal-induced beam-hardening factors along the metal trace in the sinogram. Taking account of the fundamental difficulty in obtaining sufficient training data in a medical environment, the learning method is designed to use simulated training data and a patient-type specific learning model is used to simplify the learning process. The feasibility of the proposed method is investigated using a dataset, consisting of real CT scan of pelvises containing hip prostheses. The anatomical areas in training and test data are different, in order to demonstrate that the proposed method extracts the beam hardening features, selectively. The results show that our method successfully corrects sinogram inconsistency by extracting beam-hardening sources by means of deep learning. This paper proposed a deep learning method of sinogram correction for beam hardening reduction in CT for the first time. Conventional methods for beam hardening reduction are based on regularizations, and have the fundamental drawback of being not easily able to use manifold CT images, while a deep learning approach has the potential to do so.


title: Hilbert-valued self-intersection local times for planar Brownian motion

abstract: In the paper Dynkin construction for self-intersection local time of planar Wiener process is extended on Hilbert-valued weights.


title: Canonical Transformation of Potential Model Hamiltonian Mechanics to Geometrical Form I

abstract: Using the methods of symplectic geometry, we establish the existence of a canonical transformation from potential model Hamiltonians of standard form in a Euclidean space to an equivalent geometrical form on a manifold, where the corresponding motions are along geodesic curves. The advantage of this representation is that it admits the computation of geometric deviation as a test for local stability, shown in previous studies to be a very effective criterion for the stability of the orbits generated by the potential model Hamiltonian. We describe here an algorithm for finding the generating function for the canonical transformation and describe some of the properties of this mapping under local diffeomorphisms. We give a convergence proof for this algorithm for the one-dimensional case, and provide a precise geometric formulation of geodesic deviation which relates the stability of the motion in the geometric form to that of the Hamiltonian standard form. We discuss the relation of bounded domains in the two representations for which Morse theory would be applicable. Numerical computations for some interesting examples will be presented in forthcoming papers.


title: Dimension of the space of intertwining operators from degenerate principal series representations

abstract: Let $X$ be a homogeneous space of a real reductive Lie group $G$. It was proved by T. Kobayashi and T. Oshima that the regular representation $C^{\infty}(X)$ contains each irreducible representation of $G$ at most finitely many times if a minimal parabolic subgroup $P$ of $G$ has an open orbit in $X$, or equivalently, if the number of $P$-orbits on $X$ is finite. In contrast to the minimal parabolic case, for a general parabolic subgroup $Q$ of $G$, we find a new example that the regular representation $C^{\infty}(X)$ contains degenerate principal series representations induced from $Q$ with infinite multiplicity even when the number of $Q$-orbits on $X$ is finite.


title: Targeting and Signaling in Ad Auctions

abstract: Modern ad auctions allow advertisers to target more specific segments of the user population. Unfortunately, this is not always in the best interest of the ad platform. In this paper, we examine the following basic question in the context of second-price ad auctions: how should an ad platform optimally reveal information about the ad opportunity to the advertisers in order to maximize revenue? We consider a model in which bidders' valuations depend on a random state of the ad opportunity. Different from previous work, we focus on a more practical, and challenging, situation where the space of possible realizations of ad opportunities is extremely large. We thus focus on developing algorithms whose running time is independent of the number of ad opportunity realizations. We examine the auctioneer's algorithmic question of designing the optimal signaling scheme. When the auctioneer is restricted to send a public signal to all bidders, we focus on a well-motivated Bayesian valuation setting in which the auctioneer and bidders both have private information, and present two main results: 1. we exhibit a characterization result regarding approximately optimal schemes and prove that any constant-approximate public signaling scheme must use exponentially many signals; 2. we present a "simple" public signaling scheme that serves as a constant approximation under mild assumptions. We then initiate an exploration on the power of being able to send different signals privately to different bidders. Here we examine a basic setting where the auctioneer knows bidders' valuations, and exhibit a polynomial-time private scheme that extracts almost full surplus even in the worst Bayes Nash equilibrium. This illustrates the surprising power of private signaling schemes in extracting revenue.


title: Holographic Entanglement Negativity for Adjacent Subsystems in $\mathrm{AdS_{d+1}/CFT_d}$

abstract: We establish our recently proposed holographic entanglement negativity conjecture for mixed states of adjacent subsystems in conformal field theories with concrete higher dimensional examples. In this context we compute the holographic entanglement negativity for mixed states of adjacent subsystems in $d$-dimensional conformal field theories dual to bulk $AdS_{d+1}$ vacuum and $AdS_{d+1}$-Schwarzschild black holes. These representative examples provide strong indication for the universality of our conjecture which affirms significant implications for diverse applications.