Still searching Arxiv, refresh for possibly better results.

total 34270took 0.14s

Detecting mixed-unitary quantum channels is NP-hardFeb 08 2019A quantum channel is said to be a mixed-unitary channel if it can be expressed as a convex combination of unitary channels. We prove that, given the Choi representation of a quantum channel, it is NP-hard with respect to polynomial-time Turing reductions ... More

A modified $P_1$ - immersed finite element methodAug 19 2014Jul 03 2015In recent years, the immersed finite element methods (IFEM) introduced in \cite{Li2003}, \cite{Li2004} to solve elliptic problems having an interface in the domain due to the discontinuity of coefficients are getting more attentions of researchers because ... More

Ions at hydrophobic interfacesFeb 13 2018We argue that the kosmotropes remain strongly hydrated in the vicinity of a hydrophobic surface, while the chaotropes lose their hydration shell and can become adsorbed to the interface. The mechanism of adsorption is still a subject of debate. We argue ... More

Electrolytes between dielectric charged surfaces: Simulations and theoryAug 11 2015We present a simulation method to study electrolyte solutions in a dielectric slab geometry using a modified 3D Ewald summation. The method is fast and easy to implement, allowing us to rapidly resum an infinite series of image charges. In the weak coupling ... More

Adsorption of cationic polyions to a hydrophobic surface in the presence of Hofmeister saltsMar 25 2014We study, using extensive Monte Carlos simulations, the behavior of cationic polyelectrolytes near hydrophobic surfaces in solutions containing Hofmeister salts. The Hofmeister anions are divided into kosmotropes and chaotropes. Near a hydrophobic surface, ... More

Polarizable Surfaces: Weak and Strong Coupling RegimesOct 31 2012Nov 07 2012We study the ionic distribution near a charged surface. A new method for performing Monte Carlo simulations in this geometry is discussed. A theory is then presented that allows us to accurately reproduce the density profiles obtained in the simulations. ... More

Like-Charge Attraction between Metal Nanoparticles in a 1:1 Electrolyte SolutionJul 01 2019We calculate the force between two spherical metal nanoparticles of charge Q 1 and Q 2 in a dilute 1:1 electrolyte solution. Numerically solving the non-linear Poisson-Boltzmann equation, we find that metal nanoparticles with the same sign of charge can ... More

Immersed finite element method for eigenvalue problems in elasticityJun 03 2015We consider the approximation of eigenvalue problems for elasticity equations with interface. This kind of problems can be efficiently discretized by using immersed finite element method (IFEM) based on Crouzeix-Raviart P1-nonconforming element. The stability ... More

Practical Window Setting Optimization for Medical Image Deep LearningDec 03 2018The recent advancements in deep learning have allowed for numerous applications in computed tomography (CT), with potential to improve diagnostic accuracy, speed of interpretation, and clinical efficiency. However, the deep learning community has to date ... More

MOOCdb: Developing Standards and Systems to Support MOOC Data ScienceJun 08 2014We present a shared data model for enabling data science in Massive Open Online Courses (MOOCs). The model captures students interactions with the online platform. The data model is platform agnostic and is based on some basic core actions that students ... More

Fast asynchronous updating algorithms for k-shell indicesNov 20 2016Identifying influential nodes in networks is a significant and challenging task. Among many centrality indices, the $k$-shell index performs very well in finding out influential spreaders. However, the traditional method for calculating the $k$-shell ... More

A Genetic Algorithm Approach for Modelling Low Voltage Network DemandsDec 20 2016Jun 26 2017Distribution network operators (DNOs) are increasingly concerned about the impact of low carbon technologies on the low voltage (LV) networks. More advanced metering infrastructures provide numerous opportunities for more accurate load flow analysis of ... More

Simulations of ionic liquids confined by metal electrodes using periodic Green functionsDec 13 2017We present an efficient method for simulating Coulomb systems confined by metal electrodes. The approach relies on Green functions techniques to obtain the electrostatic potential for an infinite periodically replicated system. This avoids the use of ... More

Charge neutrality breakdown in confined aqueous electrolytes: theory and simulationSep 02 2016We study, using Density Functional theory and Monte Carlo simulations, aqueous electrolyte solutions between charged infinite planar surfaces, in a contact with a bulk salt reservoir. In agreement with recent experimental observations [Z. Luo et al., ... More

Ion Specificity and Micellization of Ionic Surfactants: A Monte Carlo StudyApr 11 2014We develop a simulation method which allows us to calculate the critical micelle concentrations for ionic surfactants in the presence of different salts. The results are in good agreement with the experimental data. The simulations are performed on a ... More

Vortex distribution in a confining potentialOct 14 2013We study a model of interacting vortices in a type II superconductor. In the weak coupling limit, we constructed a mean-field theory which allows us to accurately calculate the vortex density distribution inside a confining potential. In the strong coupling ... More

Weak and Strong Coupling Theories for Polarizable Colloids and Nano-ParticlesSep 21 2011A theory is presented which allows us to accurately calculate the density profile of monovalent and multivalent counterions in suspensions of polarizable colloids or nano-particles. In the case of monovalent ions, we derive a weak-coupling theory that ... More

Surface tensions, surface potentials and the Hofmeister series of electrolyte solutionsFeb 11 2010A theory is presented which allows us to accurately calculate the surface tensions and the surface potentials of electrolyte solutions. Both the ionic hydration and the polarizability are taken into account. We find a good correlation between the Jones-Dole ... More

Simulations of Polyelectrolyte Adsorption to a Dielectric Like-Charged SurfaceJan 11 2018We explore, using the recently developed efficient Monte Carlo simulation method, the interaction of an anionic polyelectrolyte solution with a like-charged dielectric surface. In addition to polyions, the solution also contains salt with either monovalent, ... More

Lattice Model of an Ionic Liquid at an Electrified InterfaceDec 19 2017We study ionic liquids interacting with electrified interfaces. The ionic fluid is modeled as a Coulomb lattice gas. We compare the ionic density profiles calculated using a popular modified Poisson-Boltzmann equation with the explicit Monte Carlo simulations. ... More

Yukawa particles in a confining potentialMay 23 2014We study the density distribution of repulsive Yukawa particles confined by an external potential. In the weak coupling limit, we show that the mean-field theory is able to accurately account for the particle distribution. In the strong coupling limit, ... More

Interaction of Charged Colloidal Particles at the Air-Water InterfaceFeb 02 2018We study, using Monte Carlo simulations, the interaction between charged colloidal particles confined to the air-water interface. The dependence of force on ionic strength and counterion valence is explored. For 1:1 electrolyte, we find that the electrostatic ... More

Regularization Matters: Generalization and Optimization of Neural Nets v.s. their Induced KernelOct 12 2018Jul 15 2019Recent works have shown that on sufficiently over-parametrized neural nets, gradient descent with relatively large initialization optimizes a prediction function in the RKHS of the Neural Tangent Kernel (NTK). This analysis leads to global convergence ... More

Simulations of Coulomb systems confined by polarizable surfaces using periodic Green functionsDec 11 2017We present an efficient approach for simulating Coulomb systems confined by planar polarizable surfaces. The method is based on the solution of Poisson equation using periodic Green functions. It is shown that the electrostatic energy arising from surface ... More

Interaction between random heterogeneously charged surfaces in an electrolyte solutionAug 11 2015We study, using Monte Carlo simulations, the interaction between infinite heterogeneously charged surfaces inside an electrolyte solution. The surfaces are overall neutral with quenched charged domains. An average over the quenched disorder is performed ... More

Equation of state of charged colloidal suspensions and its dependence on the thermodynamic routeMar 23 2012Mar 26 2012The thermodynamic properties of highly charged colloidal suspensions in contact with a salt reservoir are investigated in the framework of the Renormalized Jellium Model (RJM). It is found that the equation of state is very sensitive to the particular ... More

Effects of the dielectric discontinuity on the counterion distribution in a colloidal suspensionMay 14 2011We introduce a new method for simulating colloidal suspensions with spherical colloidal particles of dielectric constant different from the surrounding medium. The method uses exact calculation of the Green function to obtain the ion-ion interaction potential ... More

Regularization Matters: Generalization and Optimization of Neural Nets v.s. their Induced KernelOct 12 2018May 30 2019Recent works have shown that on sufficiently over-parametrized neural nets, gradient descent with relatively large initialization optimizes a prediction function in the RKHS of the Neural Tangent Kernel (NTK). This analysis leads to global convergence ... More

How much data is needed to train a medical image deep learning system to achieve necessary high accuracy?Nov 19 2015Jan 07 2016The use of Convolutional Neural Networks (CNN) in natural image classification systems has produced very impressive results. Combined with the inherent nature of medical images that make them ideal for deep-learning, further application of such systems ... More

Soft-Output Detection Methods for Sparse Millimeter Wave MIMO Systems with Low-Precision ADCsNov 29 2018The use of low-precision analog-to-digital converters (ADCs) is a low-cost and power-efficient solution for a millimeter wave (mmWave) multiple-input multiple-output (MIMO) system operating at sampling rates higher than a few Gsample/sec. This solution, ... More

The way to reduce electrical charge of a droplet dispensed from a pipette tipSep 27 2013Oct 09 2013Recently, our group reported that an any aqueous droplet dispensed from a pipette tip has considerable amount of electrical charge. This natural electrical charge of a droplet could cause undesired, unfamiliar experimental results. Since the origin of ... More

Exploiting the Past to Reduce Delay in CSMA Scheduling: A High-order Markov Chain ApproachFeb 13 2013Jul 31 2013Recently several CSMA algorithms based on the Glauber dynamics model have been proposed for multihop wireless scheduling, as viable solutions to achieve the throughput optimality, yet are simple to implement. However, their delay performances still remain ... More

Monitoring of GAmma-ray Bright AGN : The Multi-frequency Polarization of the Flaring Blazar 3C 279Nov 05 2015We present results of long-term multi-wavelength polarization observations of the powerful blazar 3C~279 after its $\gamma$-ray flare on 2013~December 20. We followed up this flare with single-dish polarization observations using two 21-m telescopes of ... More

Water and Methanol Maser Activities in the NGC 2024 FIR 6 RegionSep 25 2012The NGC 2024 FIR 6 region was observed in the water maser line at 22 GHz and the methanol class I maser lines at 44, 95, and 133 GHz. The water maser spectra displayed several velocity components and month-scale time variabilities. Most of the velocity ... More

On the Capacity of MISO Channels with One-Bit ADCs and DACsNov 14 2018A one-bit wireless transceiver is a promising communication architecture that not only can facilitate the design of mmWave communication systems but also can extremely diminish power consumption. The non-linear distortion effects by one-bit quantization ... More

Parallel Gaussian Process Regression with Low-Rank Covariance Matrix ApproximationsMay 24 2013Gaussian processes (GP) are Bayesian non-parametric models that are widely used for probabilistic regression. Unfortunately, it cannot scale well with large data nor perform real-time predictions due to its cubic time cost in the data size. This paper ... More

3D rotational diffusion microrheology using 2D video microscopyMay 31 2011Jan 05 2012We propose a simple way to perform three-dimensional (3D) rotational microrheology using two-dimensional (2D) video microscopy. The 3D rotational brownian motion of micrometric wires in a viscous fluid is deduced from their projection on the focal plane ... More

Efficient Photo-heating Algorithms in Time-dependent Photo-ionization SimulationsNov 03 2015We present an extension to the time-dependent photo-ionization code C$^2$-Ray to calculate photo-heating in an efficient and accurate way. In C$^2$-Ray, the thermal calculation demands relatively small time-steps for accurate results. We describe two ... More

Adiabatic Mach-Zehnder interferometer via an array of trapped ionsOct 07 2011Mar 22 2012We explore the possibility of implementing a Heisenberg-limited Mach-Zehnder interferometry via an array of trapped ions, which obey a quantum Ising model within a transverse field. Based upon adiabatic processes of increasing the Ising interaction and ... More

Formation and local symmetry of Holstein polaron in t-J modelDec 04 2012The formation and local symmetry of spin-lattice polaron has been investigated semiclassically in the planar Holstein t-J-like models within the exact diagonalization method. Due to the interplay of strong correlations and electron-lattice interaction, ... More

A Search for AGN Intra-day Variability with KVNOct 28 2015Active galactic nuclei (AGN) are known for irregular variability on all time scales, down to intra-day variability with relative variations of a few percent within minutes to hours. On such short timescales, unexplored territory, such as the possible ... More

Rich magneto-absorption spectra in AAB-stacked trilayer grapheneSep 08 2015Sep 18 2015The generalized tight-binding model is developed to investigate the feature-rich magneto-optical properties of AAB-stacked trilayer graphene. Three intragroup and six intergroup inter-Landau-level (inter-LL) optical excitations largely enrich the magneto-absorption ... More

Efficient allocation of heterogeneous response times in information spreading processJan 22 2014Recently, the impacts of spatiotemporal heterogeneities of human activities on spreading dynamics have attracted extensive attention. In this paper, to study heterogeneous response times on information spreading, we focus on the susceptible-infected spreading ... More

Optical Properties of Graphene in Magnetic and Electric fieldsMar 09 2016Jul 19 2016Optical properties of graphene are explored by using the generalized tight-binding model. The main features of spectral structures, the form, frequency, number and intensity, are greatly enriched by the complex relationship among the interlayer atomic ... More

Configuration-enriched magnetoelectronic spectra of AAB-stacked trilayer grapheneMar 27 2015Apr 01 2015We developed the generalized tight-binding model to study the magneto-electronic properties of AAB-stacked trilayer graphene. Three groups of Landau levels (LLs) are characterized by the dominating subenvelope function on distinct sublattices. Each LL ... More

Gravity or turbulence? II. Evolving column density PDFs in molecular cloudsMay 26 2011It has been recently shown that molecular clouds do not exhibit a unique shape for the column density probability distribution function (Npdf). Instead, clouds without star formation seem to possess a lognormal distribution, while clouds with active star ... More

Mean-dependent nonstationary spatial modelsMay 29 2019Nonstationarity is a major challenge in analyzing spatial data. For example, daily precipitation measurements may have increased variability and decreased spatial smoothness in areas with high mean rainfall. Common nonstationary covariance models introduce ... More

Recognizing Surgical Activities with Recurrent Neural NetworksJun 20 2016Jun 22 2016We apply recurrent neural networks to the task of recognizing surgical activities from robot kinematics. Prior work in this area focuses on recognizing short, low-level activities, or gestures, and has been based on variants of hidden Markov models and ... More

Dynamics of Symmetry-Breaking Stacking Boundaries in Bilayer MoS2Sep 29 2017Crystal symmetry of two-dimensional (2D) materials plays an important role in their electronic and optical properties. Engineering symmetry in 2D materials has recently emerged as a promising way to achieve novel properties and functions. The noncentrosymmetric ... More

Decentralized Data Fusion and Active Sensing with Mobile Sensors for Modeling and Predicting Spatiotemporal Traffic PhenomenaJun 27 2012Jun 28 2012The problem of modeling and predicting spatiotemporal traffic phenomena over an urban road network is important to many traffic applications such as detecting and forecasting congestion hotspots. This paper presents a decentralized data fusion and active ... More

Cellular reproduction number, generation time and growth rate differ between human- and avian-adapted influenza strainsMar 19 2019When analysing in vitro data, growth kinetics of influenza strains are often compared by computing their growth rates, which are sometimes used as proxies for fitness. However, analogous to mechanistic epidemic models, the growth rate can be defined as ... More

Attribute2Image: Conditional Image Generation from Visual AttributesDec 02 2015Oct 08 2016This paper investigates a novel problem of generating images from visual attributes. We model the image as a composite of foreground and background and develop a layered generative model with disentangled latent variables that can be learned end-to-end ... More

A Numerical Model for Flows in Porous and Open Domains Coupled at the Interface by Stress JumpApr 10 2006A numerical model was developed for flows involving an interface between a homogenous fluid and a porous medium. The numerical model is based on the finite volume method with body-fitted and multi-block grids. The Darcy-Forchheimer extended model is used ... More

Hyperbolic 2-spheres with cone singularitiesJan 01 2018We study the space $C(a_0,a_1,\dots,a_n)$ of hyperbolic 2-spheres with cone points of prescribed apex curvatures $2a_0,2a_1,\dots,2a_n\in]0,2\pi[$ and some related spaces. For $n=3$, we get a detailed description of such spaces. The euclidean 2-spheres ... More

Theory of fads: Traveling-wave solution of evolutionary dynamics in a one-dimensional trait spaceJan 21 2015We consider an infinite-sized population where an infinite number of traits compete simultaneously. The replicator equation with a diffusive term describes time evolution of the probability distribution over the traits due to selection and mutation on ... More

Beam Emittance Measurement for PLS-II LinacJun 15 2016The PLS-II has a 100 MeV pre-injector for the 3 GeV Linac. A thermionic gun produces electron charge of 200 pC with a bunch duration of 500 ps by a 250 ps triggering pulser. At the pre-injector, one of the most important beam parameters to identify the ... More

Asymmetrically interacting spreading dynamics on complex layered networksMay 08 2014The spread of disease through a physical-contact network and the spread of information about the disease on a communication network are two intimately related dynamical processes. We investigate the asymmetrical interplay between the two types of spreading ... More

Approximate Edge Analytics for the IoT EcosystemMay 15 2018IoT-enabled devices continue to generate a massive amount of data. Transforming this continuously arriving raw data into timely insights is critical for many modern online services. For such settings, the traditional form of data analytics over the entire ... More

Simultaneous observation of water and class I methanol masers toward class II methanol maser sourcesOct 09 2015We present a simultaneous single-dish survey of 22 GHz water maser and 44 GHz and 95 GHz class I methanol masers toward 77 6.7 GHz class II methanol maser sources, which were selected from the Arecibo methanol maser Galactic plane survey (AMGPS) catalog.Water ... More

Soft Wall Model in the Hadronic MediumApr 21 2011Nov 12 2014We study the holographic QCD in the hadronic medium by using the soft wall model. We discuss the Hawking-Page transition between Reissner-Nordstr\"{o}m AdS black hole and thermal charged AdS of which the geometries correspond to deconfinement and confinement ... More

SRAO CO Observation of 11 Supernova Remnants in l = 70 to 190 degJul 30 2012We present the results of 12CO J = 1-0 line observations of eleven Galactic supernova remnants (SNRs) obtained using the Seoul Radio Astronomy Observatory (SRAO) 6-m radio telescope. The observation was made as a part of the SRAO CO survey of SNRs between ... More

Unusual Coulomb excitations in ABC-stacked trilayer grapheneJan 19 2018The layer-based random-phase approximation is further developed to investigate electronic excitations in tri-layer ABC-stacked graphene. All the layer-dependent atomic interactions and Coulomb interactions are included in the dynamic charge screening. ... More

Learning Hierarchical Semantic Image Manipulation through Structured RepresentationsAug 22 2018Aug 28 2018Understanding, reasoning, and manipulating semantic concepts of images have been a fundamental research problem for decades. Previous work mainly focused on direct manipulation on natural image manifold through color strokes, key-points, textures, and ... More

Deep Variational Canonical Correlation AnalysisOct 11 2016Feb 25 2017We present deep variational canonical correlation analysis (VCCA), a deep multi-view learning model that extends the latent variable model interpretation of linear CCA to nonlinear observation models parameterized by deep neural networks. We derive variational ... More

Higgcision Updates 2014Jul 30 2014Sep 17 2014During the 2014 Summer Conferences, both ATLAS and CMS Collaborations of the LHC experiments have demonstrated tremendous efforts in treatment of data and processing more data such that most data on signal strengths have improved; especially the diphoton ... More

Intrinsic Anomalous Hall Effect in Magneto-Chiral StatesMay 31 2013Jul 24 2014We show that a finite Hall effect in zero applied magnetic field occurs for partially filled bands in certain time-reversal violating states with zero net flux per unit-cell. These states are the Magneto-chiral states with parameters in the effective ... More

Fermi surface evolution in the antiferromagnetic state for the electron-doped t-t'-t''-J modelApr 22 2004May 28 2004By use of the slave-boson mean-field approach, we have studied the electron-doped t-t'-t''-J model in the antiferromagnetic (AF) state. It is found that at low doping the Fermi surface (FS) pockets appear around $(\pm\pi,0)$ and $(0,\pm\pi)$, and upon ... More

Perspective Transformer Nets: Learning Single-View 3D Object Reconstruction without 3D SupervisionDec 01 2016Aug 13 2017Understanding the 3D world is a fundamental problem in computer vision. However, learning a good representation of 3D objects is still an open problem due to the high dimensionality of the data and many factors of variation involved. In this work, we ... More

Deep Variational Canonical Correlation AnalysisOct 11 2016Nov 14 2016We present deep variational canonical correlation analysis (VCCA), a deep multi-view learning model that extends the latent variable model interpretation of linear CCA~\citep{BachJordan05a} to nonlinear observation models parameterized by deep neural ... More

Pair Density Wave in the Doped $t$-$J$ Model with Ring Exchange on a Triangular LatticeNov 15 2018Apr 27 2019In our previous work [arXiv:1803.00999, Phys. Rev. Lett. 121, 046401 (2018)], we found a quantum spin liquid phase with a spinon Fermi surface in the two dimensional spin-1/2 Heisenberg model with four-spin ring exchange on a triangular lattice. In this ... More

Bounds on the maximal Bochner-Riesz means for elliptic operatorsMar 09 2018We investigate $L^p$ boundedness of the maximal Bochner-Riesz means for self-adjoint operators of elliptic type. Assuming the finite speed of propagation for the associated wave operator, from the restriction type estimates we establish the sharp $L^p$ ... More

Predicting Abandonment in Online Coding TutorialsJul 13 2017Learners regularly abandon online coding tutorials when they get bored or frustrated, but there are few techniques for anticipating this abandonment to intervene. In this paper, we examine the feasibility of predicting abandonment with machine-learned ... More

Structural Characterization And Condition For Measurement Statistics Preservation Of A Unital Quantum OperationDec 06 2011Apr 16 2013We investigate the necessary and sufficient condition for a convex cone of positive semidefinite operators to be fixed by a unital quantum operation $\phi$ acting on finite-dimensional quantum states. By reducing this problem to the problem of simultaneous ... More

High-Energy String Scattering Amplitudes and Signless Stirling Number IdentityDec 23 2010Jul 18 2012We give a complete proof of a set of identities (7) proposed recently from calculation of high-energy string scattering amplitudes. These identities allow one to extract ratios among high-energy string scattering amplitudes in the fixed angle regime from ... More

Kekulé valence bond order in an extended Hubbard model on the honeycomb lattice, with possible applications to twisted bilayer grapheneMay 01 2018Sep 14 2018Using large-scale quantum Monte Carlo simulations, we exactly solve a model of Fermions hopping on the honeycomb lattice with cluster charge interactions, which has been proposed as an effective model with possible application to twisted bilayer graphene ... More

Higgs Precision (Higgcision) Era beginsFeb 15 2013Apr 12 2013After the discovery of the Higgs boson at the LHC, it is natural to start the research program on the precision study of the Higgs-boson couplings to various standard model (SM) particles. We provide a generic framework for the deviations of the couplings ... More

Dynamic Multivariate Functional Data Modeling via Sparse Subspace LearningApr 11 2018Multivariate functional data from a complex system are naturally high-dimensional and have complex cross-correlation structure. The complexity of data structure can be observed as that (1) some functions are strongly correlated with similar features, ... More

Multiple-Lithography-Compliant Verification for Standard Cell Library Development FlowMay 28 2018Starting from 22-nm, a standard cell must be designed to be full lithography-compliant, which includes Design Rule Check, Design-for-Manufacturability and Double-Patterning compliant. It has become a great challenge for physical layout designers to provide ... More

An SDN-Based Transmission Protocol with In-Path Packet Caching and RetransmissionFeb 22 2019In this paper, a comprehensive software-defined networking (SDN) based transmission protocol (SDTP) is presented for fifth generation (5G) communication networks, where an SDN controller gathers network state information from the physical network to improve ... More

Fluctuations and all-in$-$all-out ordering in dipole-octupole Nd2Zr2O7Jul 07 2015We present an experimental study of the pyrochlore coumpound Nd2Zr2O7 by means of neutron scattering and magnetization measurements down to 90 mK. The Nd$^{3+}$ magnetic moments exhibit a strong local $\langle$111$\rangle$ Ising anisotropy together with ... More

Constraining the Synopsys Pin Access Checker Utility for Improved Standard Cells Library Verification FlowMay 25 2018While standard cell layouts are drawn with minimum design rules for maximum benefit of design area shrinkage, the complicated design rules begin to cause difficulties with signal routes accessing the pins in standard cell layouts. Multiple design iterations ... More

FeynmanPAQS: A Graphical Interface Program for Photonic Analog Quantum ComputingOct 04 2018We present a user-friendly software for photonic analog quantum computing with an installable MATLAB package and the graphical user interface (GUI) that allows for convenient operation without requiring programming skills. Arbitrary Hamiltonians can be ... More

Standard Cell Library Evaluation with Multiple lithography-compliant verification and Improved Synopsys Pin Access Checking UtilityMay 28 2018While standard cell layouts are drawn with minimum design rules to maximize the benefit of design area shrinkage, the complicated design rules have caused difficulties with signal routes accessing the pins in standard cell layouts. As a result, it has ... More

Tutorial models of the climate and habitability of Proxima Centauri b: a thin atmosphere is sufficient to distribute heat given low stellar fluxAug 25 2016Proxima Centauri b, an Earth-size planet in the habitable zone of our nearest stellar neighbour, has just been discovered. A theoretical framework of synchronously rotating planets, in which the risk of a runaway greenhouse on the sunlight side and atmospheric ... More

Number and Luminosity Evolution of Interacting Galaxies as a Natural explanation for the Galaxy CountsMay 23 1995A newly developed isochrone synthesis algorithm for the photometric evolution of galaxies is described. Two initial mass functions, IMFs, in particular, the recent IMF determined by Kroupa, Tout, and Gilmore, three photometric transformations, and a 1-Gyr-burst ... More

Descents in $t$-Sorted PermutationsApr 04 2019Jun 30 2019Let $s$ denote West's stack-sorting map. A permutation is called $t-\textit{sorted}$ if it is of the form $s^t(\mu)$ for some permutation $\mu$. We prove that the maximum number of descents that a $t$-sorted permutation of length $n$ can have is $\left\lfloor\frac{n-t}{2}\right\rfloor$. ... More

Counting 3-Stack-Sortable PermutationsMar 21 2019May 07 2019We prove a "Decomposition Lemma" that allows us to count preimages of certain sets of permutations under West's stack-sorting map $s$. As a first application, we give a new proof of Zeilberger's formula for the number of 2-stack-sortable permutations ... More

A univalent universe in finite order arithmeticDec 21 2014Jan 10 2015Homotopy Type Theory with a univalent universe $\,\mathcal{U}_0$ is interpreted at the strength of finite order arithmetic. We eliminate Grothendieck universes, avoid the axiom of replacement, and bound all uses of separation.

Spiders and Generalized ConfluenceSep 27 2018Sep 28 2018Given a semisimple Lie algebra $\mathfrak{g}$, we can represent invariants of tensor products of fundamental representations of the quantum enveloping algebra $U_q(\mathfrak{g})$ using particular directed graphs called webs. In particular webs are trivalent ... More

Flexible Toggles and Symmetric Invertible Asynchronous Elementary Cellular AutomataNov 22 2015May 24 2018A sequential dynamical system (SDS) consists of a graph $G$ with vertices $v_1,v_2,\ldots,v_n$, a state set $A$, a collection of "vertex functions" $\{f_{v_i}\}_{i=1}^n$, and a permutation $\pi\in S_n$ that specifies how to compose these functions to ... More

Triple Crossing Number of Knots and LinksJul 31 2012Sep 04 2012A triple crossing is a crossing in a projection of a knot or link that has three strands of the knot passing straight through it. A triple crossing projection is a projection such that all of the crossings are triple crossings. We prove that every knot ... More

A new paradigm for the universeNov 03 2003Jan 25 2012A new paradigm for the universe is presented in which the universe is far older than current estimates and there is no big bang.

Observation of M87 with VERITASSep 23 2007The giant radio galaxy M87 is the only extragalactic non-blazar object which has been detected as a source of very high energy gamma-rays. It represents a unique opportunity to study the phenomena of gamma-ray emission from a nearby AGN. In this paper ... More

An introduction to mesic nucleiJan 14 2016There is much speculation and a modest amount of evidence that certain mesons might form quasi-bound states with nuclei to produce really exotic states of matter. For this to be a practical possibility, the interaction between the meson and nucleons at ... More

COSY-11 : How will we remember it ?Sep 03 2007A personal selection is made of the highlights of the COSY-11 physics program undertaken at the COoler SYnchrotron of the Forschungszentrum Juelich. This has been particularly rich in the field of strange and non-strange meson production in proton-proton ... More

On the structure of just infinite profinite groupsJun 09 2009Jun 26 2009A profinite group $G$ is just infinite if every closed normal subgroup of $G$ is of finite index. We prove that an infinite profinite group is just infinite if and only if, for every open subgroup $H$ of $G$, there are only finitely many open normal subgroups ... More

Some Poset Pattern-Avoidance Problems Posed by YakoubovAug 13 2016Extending the work of Yakoubov, we enumerate the linear extensions of comb posets that avoid certain length-$3$ patterns. We resolve many of Yakoubov's open problems and prove both of the conjectures from her paper.

Some Poset Pattern-Avoidance Problems Posed by YakoubovAug 13 2016Nov 24 2016Extending the work of Yakoubov, we enumerate the linear extensions of comb posets that avoid certain length-$3$ patterns. We resolve many of Yakoubov's open problems and prove both of the conjectures from her paper.

Enumerating Periodic Points of Certain Sequential Dynamical SystemsNov 22 2015A sequential dynamical system (SDS) consists of an undirected simple graph $Y$ with vertices $v_1,v_2,\ldots,v_n$, a collection of vertex functions $\{f_{v_i}\}_{i=1}^n$, a permutation $\pi\in S_n$, and a collection of states $A$. In this system, vertices ... More

Preimages under the Stack-Sorting AlgorithmNov 18 2015Apr 06 2016We use a method for determining the number of preimages of any permutation under the stack-sorting map in order to obtain recursive upper bounds for the numbers $W_t(n)$ and $W_t(n,k)$ of $t$-stack sortable permutations of length $n$ and $t$-stack sortable ... More